Sign in
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System.
A. Anselmi
Cinzia Bernardeschi
Alessandro Fantechi
Stefania Gnesi
Salvatore Larosa
Giorgio Mongardi
Fernando Torielli
Published in:
SAFECOMP (1995)
Keyphrases
</>
formal verification
control system
model checking
model checker
fuzzy logic
symbolic model checking
automated verification
program slicing
real time
artificial intelligence
open source
user experience
closed loop
partial order
control scheme