• Home
  • Getting Started
  • Documentation
  • Publications
  • Releases
  • Team

Stable releases of Map2Check

RELEASES

Version Date Source code
7.3.1 27 Nov 2019 git tag
7.2 28 Nov 2018 TBA
7.1 27 Oct 2017 git tag
7.0 12 Sep 2017 git tag
6.0 6 Jan 2016 git tag

Links to Learning

  • LLVM Compiler Infrastructure
  • KLEE Execution Engine
  • Clang: frontend for LLVM
  • SV-COMP: Competition on Software Verification

Go Links

  • Getting Started
  • Documentation
  • Publications
  • Releases
  • Team
  • Docker
  • GitHub
  • Travis
  • Map2Check: A Bug Hunting Tool.