A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software.
Manuel I. CapelLuis E. Mendoza MoralesPublished in: ICEIS (2) (2012)
Keyphrases
- safety critical
- formal methods
- model checking
- safety analysis
- model checker
- formal specification
- fault tolerant
- reactive systems
- verification method
- temporal logic
- symbolic model checking
- knowledge based systems
- agent architecture
- embedded systems
- software engineering
- automated verification
- support systems
- asynchronous circuits
- formal verification
- artificial intelligence
- expert systems
- concurrent systems
- decision making