Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for safety relevant systems - …
Formal methods for automation and safety in railway and automotive systems: FORMS/FORMAT 2010 ; [8th symposium ; proceedings]
by Schnieder, Eckehard, Tarnai, Géza, FORMS/FORMAT 2010, Braunschweig, Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig
Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for safety relevant systems - …
"Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the…
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the …