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á bibliografia

Vydané 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:	English
Vydavateľské údaje:	Cambridge, UK Cambridge University Press 01.01.2007
Predmet:	Regular Papers multithreaded programs constraints verification
ISSN:	1471-0684, 1475-3081
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!