Login / Signup
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.
Claudio de la Riva
Javier Tuya
José Ramón de Diego
Published in:
Ershov Memorial Conference (1999)
Keyphrases
</>
model checking
reactive systems
model checker
temporal logic
formal verification
formal methods
symbolic model checking
formal specification
transition systems
data mining
description language
information systems
communication networks
integer programming