Behavioral analysis of Safety Critical Systems using formal methods.
Shreesha Rao P.Manju NandaJ. JayanthiPublished in: ICACCI (2015)
Keyphrases
- formal methods
- safety critical
- safety analysis
- nuclear power plant
- model checking
- model checker
- agent architecture
- fault tolerant
- adaptive systems
- knowledge based systems
- artificial intelligence
- formal specification
- regulatory requirements
- embedded systems
- software engineering
- support systems
- knowledge base
- data mining
- real time
- building blocks
- distributed systems
- cooperative
- multi agent