Distributed and Complex Systems Group : Homepage

:Vérimag Distributed and Complex Systems Group

Program Verification

Related Work

  • Smallfoot is a program analysis tool based on Separation Logic
  • TVLA is a static analysis tool based on Three Valued Logic
  • PALE is a program analysis tool based on WSkS and tree automata
  • ARMC, FAST and ASPIC are tools for the analysis of counter automata models
  • ASTREE is a tool for analysis of avionics software, based on abstract interpretation
  • SLAM and BLAST are program analysis tools based on predicate abstraction