Distributed and Complex Systems Group : Homepage

:Vérimag Distributed and Complex Systems Group

DCS

Teams/Topics

Misc.

Program Verification

Overview | People | Tools | Related Work | Funding | Publications

Tools

  • L2CA is a tool for verification of programs with singly-linked lists
  • ARTMC is a tool for verification of programs with trees, and beyond
  • FLATA is a library for building and analyzing flat counter automata
CNRS INPG UJF