Automated Failure Analysis in Model Checking Based on Data Mining.

Ning Ge Marc Pantel Xavier Crégut

Published in: MEDI (2014)

Keyphrases

model checking
data mining
temporal logic
finite state machines
data analysis
formal verification
temporal properties
reachability analysis
symbolic model checking
formal specification
np hard
test cases
dynamic analysis
linear temporal logic
abstract interpretation