Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML.
Vincent RahliDavid GuaspariMark BickfordRobert L. ConstablePublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2015)
Keyphrases
- fault tolerant
- formal specification
- formal methods
- distributed systems
- safety critical
- fault tolerance
- model checking
- high assurance
- specification language
- process algebra
- concurrent systems
- data abstraction
- formal specification language
- asynchronous circuits
- protocol specification
- model checker
- design methodologies
- state machine
- object oriented design
- specification languages
- software components
- knowledge based systems
- grid workflow
- database
- load balancing
- formal verification
- temporal logic
- expert systems
- case study