Login / Signup
UMM: an operational memory model specification framework with integrated model checking capability.
Yue Yang
Ganesh Gopalakrishnan
Gary Lindstrom
Published in:
Concurr. Pract. Exp. (2005)
Keyphrases
</>
model checking
reactive systems
temporal logic
temporal properties
process algebra
formal specification
model checker
asynchronous circuits
inference rules
specification language
symbolic model checking
formal verification
abstract interpretation