Login / Signup
Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking.
Si Liu
Peter Csaba Ölveczky
Jatin Ganhotra
Indranil Gupta
José Meseguer
Published in:
ICFEM (2017)
Keyphrases
</>
model checking
temporal logic
formal verification
finite state
formal methods
artificial intelligence
model checker
deterministic finite automaton
pspace complete
process algebra
transition systems
automated verification
formal specification
epistemic logic
symbolic model checking