Login / Signup
Formula Based Abstractions of Transition Systems for Real-Time Model Checking.
Roberto Barbuti
Nicoletta De Francesco
Antonella Santone
Gigliola Vaglini
Published in:
World Congress on Formal Methods (1999)
Keyphrases
</>
transition systems
model checking
temporal logic
linear temporal logic
model checker
concurrent systems
finite state
formal verification
formal specification
reactive systems
formal methods
control flow
practical reasoning
real time systems
description language