Counterexample Simplification for Liveness Property Violation.

Gianluca Barbon Vincent Leroy Gwen Salaün

Published in: SEFM (2018)

Keyphrases

multiresolution
preprocessing
desirable properties
model checking
information retrieval
real time
evolutionary algorithm
image segmentation
training data
natural language
case study
information technology
genetic algorithm
real world
hidden markov models
neural network
database