Login / Signup

The Move Prover.

Jingyi Emma ZhongKevin CheangShaz QadeerWolfgang GrieskampSam BlackshearJunkil ParkYoni ZoharClark W. BarrettDavid L. Dill
Published in: CAV (1) (2020)
Keyphrases
  • theorem proving
  • theorem prover
  • automated theorem proving
  • inference rules
  • proof search
  • high level
  • genetic algorithm
  • first order logic
  • graphical models
  • machine learning
  • logic programs