Generation of C++ Code from Isabelle/HOL Specification.

Dongchen Jiang Bo Xu

Published in: Int. J. Softw. Eng. Knowl. Eng. (2022)

Keyphrases

theorem prover
natural deduction
formal methods
code generation
theorem proving
inference rules
source code
first order logic
formal specification
higher order logic
provably correct
generation process
model checking
control flow
machine learning
error correcting
data sets
real time
database