Related Tools and Links
- VESTA (Verification based on Statistical Analysis): A tool for statistical model-checking of probabilistic systems
- Project CONTESSA: Adaptive System Interoperability
- Open System Laboratories
- Formal Methods and Declarative Languages Laboratory