Login / Signup

FreeSpec: specifying, verifying, and executing impure computations in Coq.

Thomas LetanYann Régis-Gianas
Published in: CPP (2020)
Keyphrases
  • formal methods
  • theorem prover
  • decision making
  • data structure
  • multiscale
  • object recognition
  • model checking