Abstract Diagnosis for tccp using a Linear Temporal Logic.

Marco Comini Laura Titolo Alicia Villanueva

Published in: Theory Pract. Log. Program. (2014)

Keyphrases

linear temporal logic
temporal logic
model checking
bounded model checking
model based diagnosis
high level
fault diagnosis
computational complexity
general purpose
orders of magnitude
modal logic
description language
transition systems