Abstract Model Checking of tccp programs

The Timed Concurrent Constraint programming language (tccp) introduces time aspects into the Concurrent Constraint paradigm. This makes tccp especially appropriate to analyze by model checking timing properties of concurrent systems. However, even if very compact state representations are obtained t...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Electronic notes in theoretical computer science Jg. 112; S. 19 - 36
Hauptverfasser:	Alpuente, María, del Mar Gallardo, María, Pimentel, Ernesto, Villanueva, Alicia
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 02.01.2005
Schlagworte:	Abstract Interpretation Model Checking Timed Concurrent Constraint Programming Abstract Interpretation Timed Concurrent Constraint Programming Model Checking
ISSN:	1571-0661, 1571-0661
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!