1 Documentation and Tools

• The TLA+ ToolBox platform is available at the following link.
• The Rodin platform is available at the following link.
• The Prob platform is available at the following link.
• The Frama-c platform is available at the following link.
• The Synchrone Reactive Toolbox for LUSTRE is available at the following link.
• The Kind 2 platform is available at the following link.