Keyphrases
- safety critical
- formal methods
- formal specification
- safety analysis
- model checking
- nuclear power plant
- embedded systems
- process algebra
- artificial intelligence
- agent architecture
- knowledge based systems
- reverse engineering
- specification language
- model checker
- fault tolerant
- support systems
- distributed systems
- adaptive systems
- control system
- relational databases
- information systems
- database