Specification and verification of trustworthy component-based real-time reactive systems.
Vasu S. AlagarMubarak MohammadPublished in: SAVCBS (2007)
Keyphrases
- reactive systems
- model checking
- real time
- formal methods
- real time systems
- temporal logic
- formal verification
- information flow
- transition systems
- state machines
- petri net
- control system
- knowledge based systems
- low cost
- database systems
- case study
- concurrent systems
- knowledge representation
- control flow
- information systems