Verification of Safety Critical Systems Using TTM/RTTL.
Jonathan S. OstroffPublished in: REX Workshop (1991)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- fault tolerant
- management system
- agent architecture
- support systems
- adaptive systems
- nuclear power plant
- model checking
- real time
- learning environment
- intelligent systems
- learning systems
- software systems
- recommendation systems
- formal specification
- knowledge base
- information systems