Research Tools Connected to the CADP Toolset

Many tools developed by other computer scientists are connected to the CADP toolset or even developed using the programming interfaces provided by CADP (such as the generic environments BCG and OPEN/CAESAR for enumerative and on-the-fly verification). We give here a (non-exhaustive) list of such tools, most of which have led to scientific publications.

1996:
  1. [LOTOS Tools] APERO data type pre-processor for LOTOS
  2. [LOTOS Tools] ELUDO toolkit for LOTOS
1997:
  1. [Formal Verification] FC2Tools for verifying transition systems
1998:
  1. [Protocol Testing] Exploiting symmetry in protocol testing
1999:
  1. [Object-Oriented Languages] BDL (Behavioural Description Language)
  2. [Protocol Testing] TorX architecture for test derivation and execution
  3. [Real-Time Systems] Kronos-Open tool for real-time verification
  4. [Hardware Design] Test generation and execution for synchronous hardware
  5. [Control Systems] Timed Automata for Programmable Logic Controllers
2000:
  1. [Human-Computer Interaction] ConcurTaskTrees Environment
  2. [Formal Verification] Interaction Abstraction Algorithm
  3. [Object-Oriented Languages] UMLAUT environment for UML
  4. [B Method] Labelled transition systems of B specifications
2001:
  1. [Formal Verification] Implementation of the FULL logic using XTL
  2. [Embedded Systems] CANDLE language and environment for CAN control systems
2002:
  1. [Performance Evaluation] Deriving Global Properties from Local Restrictions
  2. [Real-Time Systems] Analysis of Real-Time Systems Described in RT-LOTOS
2003:
  1. [Hardware Design] Model Checking for Systems on Chip (SoC)
  2. [Real-Time Systems] Verification of Real-Time Systems using ELSE and CADP
  3. [Telephony] Analysis of VoiceXML Interactive Voice Services
2004:
  1. [Formal Verification] On-the-Fly Interconnection of CADP and mCRL Toolsets
  2. [Bioinformatics] Model Checking Genetic Regulatory Networks using GNA and CADP
  3. [Formal Verification] Abstract Interpretation Toolkit for mCRL
  4. [Real-time UML] TTool (TURTLE Toolkit)
2005:
  1. [Web Services] Contracts and Protocols for Web Services
2006:
  1. [Software Components] ADAPTOR Tool for Generating Software Component Adaptors
  2. [Formal Verification] VeSTA (Verification of Simulations for Timed Automata)
  3. [Static Analysis] ANNOTATOR Tool for On-the-Fly Data Flow Analysis
  4. [Software Model Checking] Model Checking C Programs using OPEN/CAESAR
  5. [Formal Verification] VERCORS Platform for Model Checking Distributed Components
  6. [Formal Verification] Automatic Generation of Interfaces for Model Checking
2007:
  1. [Protocol Testing] Abstract Test Case Execution Framework
  2. [Protocol Testing] Interoperability Test Generation Algorithm
  3. [Cryptography] LYS Knowledge Analysis Toolset for Epistemic Verification
  4. [Software Components] SynthesisRT: Adaptors for Real-Time Components
  5. [Real-time Systems] Transformation, Analysis and Validation of MODEST Models
  6. [Reliability Analysis] CORAL (COmpositional Reliability and Availability anaLysis)
  7. [Planning] Enhanced version of the ETI: Service Based Coordination of Heterogeneous Tools
  8. [Grid Services] Enhanced version of the CRESS tool: Analysis of Composed Grid Services
2008:
  1. [UML for Distributed Systems] CTTool for Analyzing Fractal/GCM Components with UML 2
  2. [Static Analysis] DATALOG_SOLVE Tool for Static Analysis of Object-Oriented Programs
  3. [Shared Services] COSTO Tool for Analyzing Kmelia Components and Services
  4. [Software Architecture] CHARMY and SYNTHESIS Tools for Analyzing Software Architectures
  5. [Reliability Analysis] ARCADE Tool for Analyzing Input/Output Interactive Markov Chains
  6. [Service Protocols] DCOMPOSITOR Tool for Generating Service Wrapper Protocols
  7. [Random Testing] Tool for Random Exploration and Testing
  8. [Stochastic Systems] Tool for Performance Evaluation and Functional Verification in Stochastic Process Algebras

We are looking forward to keeping this list up to date. If you have new material to be referenced in this list, please contact cadp@inrialpes.fr.

Version 1.35 last updated on 10/03/08 12:18:18

Back to the VASY Home Page