Formal Specification of Safety-Critical Software with Z and Real-Time CSP.
Maritta HeiselCarsten SühlPublished in: SAFECOMP (1996)
Keyphrases
- safety critical
- formal methods
- formal specification
- safety analysis
- nuclear power plant
- real time
- object oriented design
- model checking
- specification language
- fault tolerant
- model checker
- constraint satisfaction problems
- artificial intelligence
- embedded systems
- software components
- fine grained
- case study
- protocol specification
- business rules
- reverse engineering
- database
- knowledge based systems
- high level