CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications.
Adrián RiescoKazuhiro OgataPublished in: ICTAC (2020)
Keyphrases
- formal specification
- theorem prover
- theorem proving
- neural network
- recursive programs
- functional requirements
- delay insensitive
- linear logic
- specification language
- logic programs
- high level
- expert systems
- automated theorem proving
- proof planning
- data sets
- formal language
- bayesian networks
- bounded model checking
- machine learning
- mathematical proofs