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

Celý popis

Podrobná bibliografia

Vydané v:	Theory and practice of logic programming Ročník 14; číslo 4-5; s. 787 - 801
Hlavní autori:	COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge, UK Cambridge University Press 01.07.2014
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!