| 1998 |
|---|
| 4 | EE | Alessandro Cimatti,
Fausto Giunchiglia,
Giorgio Mongardi,
Dario Romano,
Fernando Torielli,
Paolo Traverso:
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.
SAFECOMP 1998: 284-295 |
| 3 | EE | Alessandro Cimatti,
Fausto Giunchiglia,
Giorgio Mongardi,
Dario Romano,
Fernando Torielli,
Paolo Traverso:
Formal Verification of a Railway Interlocking System using Model Checking.
Formal Asp. Comput. 10(4): 361-380 (1998) |
| 2 | | Cinzia Bernardeschi,
Alessandro Fantechi,
Stefania Gnesi,
Salvatore Larosa,
Giorgio Mongardi,
Dario Romano:
A Formal Verification Environment for Railway Signaling System Design.
Formal Methods in System Design 12(2): 139-161 (1998) |
| 1997 |
|---|
| 1 | | Alessandro Cimatti,
Fausto Giunchiglia,
Paolo Pecchiari,
Bruno Pietra,
Joe Profeta,
Dario Romano,
Paolo Traverso,
Bing Yu:
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.
CAV 1997: 202-213 |
