Verifying CTL-live properties of infinite state models using an SMT solver.

Amirhossein Vakili Nancy A. Day

Published in: SIGSOFT FSE (2014)

Keyphrases

model checking
model selection
statistical models
neural network
complex systems
machine learning
knowledge base
multi agent systems
machine learning algorithms
desirable properties
mathematical models
historical data
constraint solving
temporal properties