Towards Support for Software Model Checking : Improving the Efficiency of Formal Specifications

The Property Specification (Prospec) tool uses patterns and scopes defined by Dwyer et al., to generate formal specifications in Linear Temporal Logic (LTL) and other languages. The work presented in this paper provides improved LTL specifications for patterns and scopes over those originally provid...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Advances in software engineering 2011-06, Vol.2011 (2011), p.1-13
Hauptverfasser:	Salamah, Salamah, Gates, Ann Q., Roach, Steve, Engskow, Matthew
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!