Event B

This chapter provides results on the modeling and verification of systems using transition systems. The goal is to provide the basic fundamental and conceptual theories, which support Event B approach. The chapter explains how invariant properties and safety properties are defined in the framework o...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal Methods Applied to Complex Systems: Implementation of the B Method S. 253 - 298
Hauptverfasser:	Méry, Dominique, Singh, Neeraj Kumar
Format:	Buchkapitel
Sprache:	Englisch
Veröffentlicht:	Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Schlagworte:	Event B proof obligations (POs) transition system
ISBN:	1848217099, 9781848217096
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!