Login / Signup
Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking.
Stavros Aronis
Scott Lystig Fritchie
Konstantinos Sagonas
Published in:
IFM (2017)
Keyphrases
</>
model checking
temporal logic
formal verification
verification method
automated verification
test set
finite state
formal specification
asynchronous circuits
transition systems