Operationally-based Program Equivalence Proofs using LCTRSs.

Stefan Ciobaca Dorel Lucanu Andrei-Sebastian Buruiana

Published in: CoRR (2020)

Keyphrases

computer programs
theorem proving
programming environment
real time
expert systems
evolutionary algorithm
data model
theorem prover