FME Tool Exhibition

• AGG: A Graph Transformation Environment for System Modeling and Validation
  Gabriele Taentzer
• Caveat: a Tool for Analysis and formal Proof of C Programs
  P. Baudin, G. Canet, A. Pacalet, D. Schoen
• A Support Tool for CSPZ Data Abstraction
  Adalberto Farias, Alexandre Mota, Augusto Sampaio
• The FAUST toolbox for Formal Requirements Specification Analysis
  Philippe Massonet, Jean-Franois Molderez, Christophe Ponsard, Andrķe Rifaut, Pierre Stadnik, Hung Tran Van , Axel van Lamsweerde
• FDR A verification tool for finite state systems
  Michael Goldsmith, Philip Armstrong
• GATeL: A Test Assistant for LUSTRE Programs
  Bruno Marre, Benjamin Blanc
• GOPCSD, Goal Oriented Process Control System Design
  Islam El-Maddah, Tom Maibaum
• Perfect Developer: A tool for Object-Oriented Formal Specification and Refinement
  David Crocker
• The ProB Animator and Model Checker for B: A Tool Description
  Michael Leuschel, Michael Butler
• SynCo: a Refinement Analysis Tool for Synchronized Component-based Systems
  Olga Kouchnarenko, Arnaud Lanoix
• TwoTowers 3.0
  Marco Bernardo
• UniTesK Test Development Tools
  Victor Kuliamin, Alexander Petrenko
• BZ-Testing-Tools: Model-Based Test generation
  Fabrice Bouquet, Bruno Legeard

 

 

Call for FME Tool Exhibition