Abstract Diagnosis for tccp using a Linear Temporal Logic.

Marco Comini Laura Titolo Alicia Villanueva

Published in: CoRR (2014)

Keyphrases

linear temporal logic
temporal logic
bounded model checking
model checking
model based diagnosis
fault diagnosis
high level
general purpose
domain specific
software development