Deep specification and proof preservation for the CoqTL transformation language.

Zheng Cheng Massimo Tisi

Published in: Softw. Syst. Model. (2022)

Keyphrases

provably correct
specification language
formal verification
theorem prover
digital objects
machine learning
deep learning
high level
long term
reactive systems
formal methods
real time
digital libraries
decision trees
website
knowledge base
real world