Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

Software Reliability and Security Group - Software and Tools


Tools developed under supervision of the previous head of the group Javier Esparza.

x Moped

x Weighted PDS library

x The Model-Checking Kit

x Mole - A Petri Net unfolder

x wAnalyzer - A tool for data-flow analysis

x Augur - An unfolding-based verification tool for graph transformation systems