Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems.
Tevfik BultanConstance L. HeitmeyerPublished in: Des. Autom. Embed. Syst. (2008)
Keyphrases
- model checking
- formal methods
- safety critical
- automated verification
- model checker
- safety analysis
- reactive systems
- formal specification
- finite state machines
- bounded model checking
- temporal logic
- symbolic model checking
- concurrent systems
- formal verification
- transition systems
- asynchronous circuits
- regulatory requirements
- automated reasoning
- embedded systems
- temporal properties
- artificial intelligence
- epistemic logic
- verification method
- linear temporal logic
- real time systems
- specification language
- support systems
- agent architecture
- fault tolerant
- load balancing
- learning systems
- intelligent systems
- distributed systems
- computational intelligence
- knowledge representation
- cooperative