ligurio/practical-fm

Issues

• Add tool to company (Amazon uses Dafny)

  #35 opened 6 months ago by alvinary
  2

• Adding extra ressources

  #27 opened 3 years ago by InfiniteLearner
  0

• Link send to page not found

  #26 opened 3 years ago by InfiniteLearner
  0

• Add proofcraft.systems

  #25 opened 4 years ago by fracting
  2

• Add “Formal reasoning about the security of Amazon Web Services”

  #24 opened 4 years ago by fracting
  3

• Ada/Spark mentions

  #23 opened 4 years ago by mratsim
  1

• What counts as a formal method?

  #7 opened 6 years ago by Derek-Jones
  1

• Add TLA+ proofs for Linux Kernel algorithms?

  #3 opened 6 years ago by dgryski
  1

• Add PingCap

  #4 opened 6 years ago by dgryski
  1