Abstract Diagnosis for tccp using a Linear Temporal Logic

Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which represents the behavior of the program) to check if a given specification is valid. This implies that...

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 14; no. 4-5; pp. 787 - 801
Main Authors:	COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.07.2014
Subjects:	Automation Construction Explosions Logic programming Proposals Regular Papers Semantics Specifications Temporal logic linear temporal logic decision procedures program verification concurrent constraint paradigm abstract diagnosis
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!