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

Celý popis

Podrobná bibliografie

Vydáno v:	Electronic notes in theoretical computer science Ročník 112; s. 19 - 36
Hlavní autoři:	Alpuente, María, del Mar Gallardo, María, Pimentel, Ernesto, Villanueva, Alicia
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 02.01.2005
Témata:	Abstract Interpretation Model Checking Timed Concurrent Constraint Programming Abstract Interpretation Timed Concurrent Constraint Programming Model Checking
ISSN:	1571-0661, 1571-0661
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!