The DEEPSEC Prover.

Vincent Cheval Steve Kremer Itsaka Rakotonirina

Published in: CAV (2) (2018)

Keyphrases

theorem proving
theorem prover
automated theorem proving
proof search
particle swarm optimization
high level
natural language
expert systems
special case
first order logic