Accelerated Runtime Verification of LTL Specifications with Counting Semantics.
Ramy MedhatBorzoo BonakdarpourSebastian FischmeisterYogi JoshiPublished in: RV (2016)
Keyphrases
- bounded model checking
- model checking
- automated verification
- formal verification
- model checker
- epistemic logic
- formal specification
- temporal logic
- specification language
- concurrent systems
- transition systems
- linear temporal logic
- finite state machines
- linear time temporal logic
- verification method
- asynchronous circuits
- formal semantics
- multi agent systems
- operational semantics
- programming language
- reactive systems
- logic programming
- protocol specification
- formal language
- control flow
- semantic representation