Accelerated Runtime Verification of LTL Specifications with Counting Semantics.
Ramy MedhatYogi JoshiBorzoo BonakdarpourSebastian FischmeisterPublished in: CoRR (2014)
Keyphrases
- bounded model checking
- model checking
- automated verification
- formal verification
- model checker
- temporal logic
- formal specification
- concurrent systems
- epistemic logic
- specification language
- linear temporal logic
- transition systems
- linear time temporal logic
- operational semantics
- finite state machines
- formal semantics
- reactive systems
- logic programming
- attribute grammars
- formal language
- asynchronous circuits
- control flow
- formal methods
- delay insensitive
- database systems
- semantic representation
- method invocation