Tagged | formal-verification

• Flow Equivalence: A Step on the Path to Formally Verified Asynchronous Design

  (galois.com)

  #hardware #research #formal-verification

• Formally Verifying the Tendermint Blockchain Protocol

  (galois.com)

  #block-chain #program-verification #formal-verification

• Proof Repair and Code Generation

  (galois.com)

  #dev-tools #programming-languages #research #formal-verification

• Public Tech Talk: “Gillian Verification of JavaScript and C”

  (galois.com)

  #programming-languages #research #cs-theory #formal-verification

• Presentation: From Quadcopters to Helicopters: Formal Verification for Safer Vehicles

  (www.infoq.com)

  #software-engineering #practices #cs-theory #formal-verification