Refinement Proofs in Rust Using Ghost Locks.

Aurel Bílý João C. Pereira Jan Schär Peter Müller

Published in: CoRR (2023)

Keyphrases

theorem proving
dynamic range
theorem prover
concurrency control
refinement process
equational theories
real time
mathematical proofs
real world
image sequences
natural language
artificial neural networks
knowledge representation
management system
natural deduction
formal proofs