Behavioral Diagnosis of LTL Specifications at Operator Level.

Ingo Pill Thomas Quaritsch

Published in: IJCAI (2013)

Keyphrases

higher level
model checking
medical diagnosis
bounded model checking
fault diagnosis
formal specification
database
data mining
search engine
computer aided
lower level
model based diagnosis
model based reasoning