Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
SZS | Contact | People | Teaching | Research | Publications | Tools | Institute | Department | Links
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

 
last change 17.10.2007 (mailto bk) |  © University of Stuttgart | legal notice