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

Vydáno v:	Theory and practice of logic programming Ročník 14; číslo 4-5; s. 787 - 801
Hlavní autoři:	COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.07.2014
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!