Software Tools

• BIP toolset
• IF toolset
• Kronos
• CADP
• TGV
• XESAR (1985-87): Model-checker for the Estelle ISO standard for communication protocols.
• CESAR (1980-82): The first model-checker developed by Jean-Pierre Queille