An extension of first-order LTL with rules with application to runtime verification
Klaus Havelund, Doron Peled
Topics & Concepts
Computer scienceLinear temporal logicModel checkingExtension (predicate logic)Programming languageTemporal logicAutomatonRuntime verificationPropositional variableTheoretical computer scienceTheory of computationFormal verificationDescription logicIntermediate logicFormal Methods in VerificationLogic, programming, and type systemsSoftware Testing and Debugging Techniques