A graphical interval logic for specifying concurrent systems

This article describes a graphical interval logic that is the foundation of a tool set supporting formal specification and verification of concurrent software systems. Experience has shown that most software engineers find standard temporal logics difficult to understand and use. The objective of th...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	ACM transactions on software engineering and methodology 1994-04, Vol.3 (2), p.131-165
Hauptverfasser:	Dillon, L. K., Kutty, G., Moser, L. E., Melliar-Smith, P. M., Ramakrishna, Y. S.
Format:	Artikel
Sprache:	eng
Schlagworte:	Designing software Program reasoning Program specifications Program verification Semantics and reasoning Software and its engineering Software creation and management Software design techniques Software development process management Software development techniques Software implementation planning Software notations and tools Specification languages System description languages Theory of computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!