Beyond Vacuity: Towards the Strongest Passing Formula.

Hana Chockler Arie Gurfinkel Ofer Strichman

Published in: FMCAD (2008)

Keyphrases

model checking
temporal logic
linear temporal logic
database
databases
neural network
information retrieval
artificial intelligence
information technology
artificial neural networks
user interface
special case
conjunctive normal form