ThoR: An Alloy5-Like DSL for Interactive Theorem Proving in Coq.

Bodo Igler Andreas Mayer

Published in: ABZ (2024)

Keyphrases

interactive theorem proving
object oriented databases
formal methods
mechanical properties
theorem prover
real time
room temperature
machine learning
genetic algorithm
case study
training data
probabilistic model
surface roughness
domain specific languages
stainless steel