Constraint-based automatic verification of abstract models of multithreaded programs

We present a technique for the automated verification of abstract models of multithreaded programs providing fresh name generation, name mobility, and unbounded control. As high level specification language we adopt here an extension of communication finite-state machines with local variables rangin...

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 7; číslo 1-2; s. 67 - 91
Hlavní autor:	DELZANNO, GIORGIO
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.01.2007
Témata:	Regular Papers multithreaded programs constraints verification
ISSN:	1471-0684, 1475-3081
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!