nwetzler

nwetzler's Stars

• leanprover/leanbv

  Language:Lean112

• awslabs/LibMLKEM

  Language:Ada131

• leanprover/LNSym

  Armv8 Native Code Symbolic Simulator in Lean

  Language:Lean3711

• bquiring/cbmc

  C Bounded Model Checker

  Language:SWIG1

• marijnheule/drat-trim

  The DRAT-trim proof checker

  Language:C4920

• arminbiere/kissat

  Language:C41977

• acl2/acl2

  ACL2 System and Books as Maintained by the Community

  Language:Common Lisp35298

• aws/s2n-tls

  An implementation of the TLS/SSL protocols

  Language:C4.5k698

• diffblue/cbmc

  C Bounded Model Checker

  Language:C++788255

• model-checking/cbmc-starter-kit

  The CBMC stater kit makes it easy to add CBMC verification to a software project.

  Language:Python4221

• model-checking/cbmc-viewer

  CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.

  Language:Python3211