Runtime verification: From propositional to first-order temporal logic

Keyphrases

• Runtime Verification 100%
• First-order Temporal Logic 100%
• Execution Trace 100%
• Monitoring Capabilities 66%
• First-order 33%
• Temporal Properties 33%
• Problem-based 33%
• Formal Methods 33%
• Propositional Logic 33%
• Monitoring Algorithm 33%
• Formal Specification 33%
• First-order Logic 33%
• Syntax-semantics 33%
• Universal Quantification 33%
• Specification-based 33%
• Atomic Proposition 33%
• Existential Quantification 33%
• Semantic Algorithms 33%

Computer Science

• Temporal Logic 100%
• Execution Trace 100%
• runtime verification 100%
• temporal property 33%
• Atomic Proposition 33%
• Formal Specification 33%
• Propositional Case 33%