Login / Signup
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