Safety Analysis in Formal Specification.
Kaisa SereElena TroubitsynaPublished in: World Congress on Formal Methods (1999)
Keyphrases
- formal specification
- safety analysis
- symbolic model checking
- model checking
- safety critical
- formal methods
- nuclear power plant
- temporal logic
- model checker
- specification language
- control system
- fault model
- process algebra
- formal verification
- reverse engineering
- agent architecture
- fault tolerant
- software development
- knowledge management
- decision making
- databases