Interactive Verification of Distributed Protocols Using Decidable Logic.
Sharon ShohamPublished in: SAS (2018)
Keyphrases
- linear time temporal logic
- distributed systems
- asynchronous circuits
- distributed environment
- verification method
- cryptographic protocols
- multi party
- cooperative
- database replication
- model checking
- logic programming
- modal logic
- classical logic
- lightweight
- bounded model checking
- peer to peer
- temporal logic
- multi valued
- formal verification
- fault tolerant
- concurrency control protocols
- model checker
- computer graphics
- linear temporal logic
- user interaction