C O N V E C S
Construction of Verified Concurrent Systems
Logo Inria Logo LIG Logo Grenoble INP Logo CNRS Logo UGA
 

Principal software

  • CADP toolbox for the formal specification and analysis of asynchronous concurrent systems

Companion software

  • DLC translator (Distributed LNT Compiler) from LNT to TCP-socket code

  • GRL translator from GRL (GALS Representation Language) to LNT

  • PIC2LNT translator from applied pi-calculus to LNT

  • PMC partial model checker for networks of automata

  • TLM.OPEN SystemC/TLM front-end for CADP

  • TRAIAN compiler for LOTOS NT specifications

 
 
Logo Twitter
 
Last modified: 2016/11/24 12:37:37.