CBMC starter kit resources

• CBMC (the model checker used by the starter kit)

  • Documentation and tutorial
  • Source code

• Litani (the build system used by the starter kit)

  • Documentation
  • Source code

• CBMC starter kit

  • Source code