Login / Signup
A Formal Verification Environment for Railway Signaling System Design.
Cinzia Bernardeschi
Alessandro Fantechi
Stefania Gnesi
Salvatore Larosa
Giorgio Mongardi
Dario Romano
Published in:
Formal Methods Syst. Des. (1998)
Keyphrases
</>
formal verification
model checking
user interface
dynamic environments
real time
simulation environment
model checker
mobile robot
web services
programming language
domain independent
mathematical morphology
temporal logic
design principles
symbolic model checking