Iterable Forward Reachability Analysis of Monitor-DPNs

There is a close connection between data-flow analysis and model checking as observed and studied in the nineties by Steffen and Schmidt. This indicates that automata-based analysis techniques developed in the realm of infinite-state model checking can be applied as data-flow analyzers that interpre...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2013-09
Hauptverfasser:	Nordhoff, Benedikt, Müller-Olm, Markus, Lammich, Peter
Format:	Artikel
Sprache:	eng
Schlagworte:	Analyzers Computer Science - Distributed, Parallel, and Cluster Computing Computer Science - Logic in Computer Science Computer Science - Programming Languages Configurations Data analysis Flow control Information flow Java Locks Synchronism
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!