Patterns in property specifications for finite-state verification

Model checkers and other finite-state verification tools allow developers to detect certain kinds of errors automatically. Nevertheless, the transition of this technology from research to practice has been slow. While there are a number of potential causes for reluctance to adopt such formal methods...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Proceedings / International Conference on Software Engineering S. 411 - 420
Hauptverfasser:	Dwyer, Matthew B., Avrunin, George S., Corbett, James C.
Format:	Tagungsbericht Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 1999 IEEE
Schriftenreihe:	ACM Conferences
Schlagworte:	Automation Computer errors Computer science Formal specifications Logic Mathematics NASA Permission Software and its engineering > Software creation and management > Designing software Software and its engineering > Software creation and management > Designing software > Requirements analysis Software and its engineering > Software notations and tools > General programming languages > Language features > Patterns Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Model checking Software and its engineering > Software organization and properties > Software system structures > Distributed systems organizing principles > Client-server architectures Software and its engineering > Software organization and properties > Software system structures > Software architectures Statistics System testing Theory of computation > Formal languages and automata theory Theory of computation > Logic > Verification by model checking finite-state verification formal specification concurrent systems patterns
ISBN:	1581130740, 9781581130744
ISSN:	0270-5257
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!