Tagged | program-verification

• Formally Verifying the Tendermint Blockchain Protocol

  (galois.com)

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

• Building a Concurrency Verifier Using Crucible

  (galois.com)

  #programming-languages #static-analysis #program-verification

• Of Protocols and Pythons

  (galois.com)

  #dev-tools #security #python #program-verification

• JaVerT: a JavaScript Verification Toolchain

  (galois.com)

  #software-engineering #javascript #programming-languages #program-verification