Login / Signup

Mechanical Verification of a Constructive Proof for FLP.

Benjamin BispingPaul-David BrodmannTim JungnickelChristina RickmannHenning SeidlerAnke StüberArno Wilhelm-WeidnerKirstin PetersUwe Nestmann
Published in: ITP (2016)
Keyphrases
  • formal proof
  • model checking
  • theorem prover
  • linear logic
  • mechanical design
  • verification method
  • geometry theorem proving
  • machine learning
  • formal analysis
  • asynchronous circuits
  • interactive theorem proving