Login / Signup
Verifying B proof rules using deep embedding and automated theorem proving.
Mélanie Jacquel
Karim Berkani
David Delahaye
Catherine Dubois
Published in:
Softw. Syst. Model. (2015)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
association rules
decision rules
classical logic
model checking
rule sets
machine learning
association rule mining
background knowledge
first order logic
classification rules
production rules
information hiding