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