Releasing VDM proof obligations with SMT solvers.

Hsin-Hung Lin Bow-Yaw Wang

Published in: MEMOCODE (2017)

Keyphrases

modulo theories
theorem prover
theorem proving
statistical machine translation
deontic logic
sat solvers
sensitive information
clause learning
proof theory
logic programs
answer set programming
agent architecture
private data
highly optimized