Swarm Verification Techniques

The range of verification problems that can be solved with logic model checking tools has increased significantly in the last few decades. This increase in capability is based on algorithmic advances and new theoretical insights, but it has also benefitted from the steady increase in processing spee...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering 2011-11, Vol.37 (6), p.845-857
Hauptverfasser:	Holzmann, G. J., Joshi, R., Groce, A.
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Analysis Central processing units Computational modeling Computer engineering Computer simulation Data models Digital Object Identifier distributed algorithms Formal verification logic model checking Logic programming Mathematical models Memory management Multicore processing Parallel processing Performance evaluation Program verification (computers) Protocol verification Search problems Software engineering Software engineering tools and techniques software verification Strategy Studies Trends
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!