Verifying a Local Generic Solver in Coq.

Martin Hofmann Aleksandr Karbyshev Helmut Seidl

Published in: SAS (2010)

Keyphrases

model checking
domain specific
high level
theorem prover
formal methods
databases
machine learning
general purpose
generic model