Safety Analysis Techniques for Validating Formal Models During Verification
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
CEGAR based bounded model checking of discrete time hybrid systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Automatic verification of a turbogas control system with the murϕ verifier
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Automatic analysis of a safety critical tele control system
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |