A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol.
Tamás TóthAndrás VörösIstván MajzikPublished in: SERENE (2015)
Keyphrases
- safety critical
- decomposition method
- formal methods
- safety analysis
- model checker
- real time
- fault tolerant
- nuclear power plant
- agent architecture
- decomposition methods
- model checking
- embedded systems
- support systems
- regulatory requirements
- decomposition algorithm
- control system
- knowledge based systems
- artificial intelligence
- low cost
- software engineering
- case based reasoning