Login / Signup
Decentralized Runtime Verification for LTL Properties Using Global Clock.
M. Ali Dorosty
Fathiyeh Faghih
Ehsan Khamespanah
Published in:
CoRR (2019)
Keyphrases
</>
model checking
cooperative
bounded model checking
structural properties
high speed
temporal logic
real time
website
multi agent
peer to peer
desirable properties
formal methods
model checker
asynchronous circuits
linear time temporal logic