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...

Full description

Bibliographic Details

Published in:	Electronic notes in theoretical computer science Vol. 112; pp. 19 - 36
Main Authors:	Alpuente, María, del Mar Gallardo, María, Pimentel, Ernesto, Villanueva, Alicia
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 02.01.2005
Subjects:	Abstract Interpretation Model Checking Timed Concurrent Constraint Programming Abstract Interpretation Timed Concurrent Constraint Programming Model Checking
ISSN:	1571-0661, 1571-0661
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!