EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems.
Vincent RahliDavid GuaspariMark BickfordRobert L. ConstablePublished in: Sci. Comput. Program. (2017)
Keyphrases
- state machine
- fault tolerant
- finite state machines
- state machines
- distributed systems
- asynchronous circuits
- fault tolerance
- highly modular
- model checking
- computer systems
- successful deployment
- distributed databases
- formal verification
- formal languages
- digital libraries
- information systems
- building blocks
- intelligent systems
- programming language
- reactive systems