Proving Safety Properties for Embedded Control Systems

Authors:
Cinzia Bernardeschi;Alessandro Fantechi;Stefania Gnesi;Giorgio Mongardi
Affiliations:
-;-;-;-
Venue:
EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
Year:
1996

Model checking railway interlocking systems

ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Tool support for checking railway interlocking designs

SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Optimising ordering strategies for symbolic model checking of railway interlockings

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II

Hi-index	0.00