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

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 7; no. 1-2; pp. 67 - 91
Main Author:	DELZANNO, GIORGIO
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.01.2007
Subjects:	Regular Papers multithreaded programs constraints verification
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!