Distributed runtime verification by past-CTL and the field calculus.
Giorgio AudritoFerruccio DamianiVolker StolzGianluca TortaMirko ViroliPublished in: J. Syst. Softw. (2022)
Keyphrases
- model checking
- transition systems
- bounded model checking
- temporal logic
- concurrent systems
- distributed systems
- computation tree logic
- multi agent
- formal verification
- distributed environment
- neural network
- formal specification
- cooperative
- fault tolerant
- peer to peer
- data sets
- computer networks
- model checker
- query processing
- search algorithm