• Main
• Home
• About the Authors
• The Book
• Book TOC
• Errata Corrige
• Support Material
• Examples
• Links and Tools

Links and Tools

In this page we collect some links mentioned in the book

Institutions

• Fondazione Bruno Kessler
  • Embedded Systems Unit

Tools

• The NuSMV model checker
• The FSAP safety analysis platform
  • FSAP development site
  • FSAP commercial site
• The RAT requirements analysis tool

Projects

• The MISSA project
• The COMPASS project
• The ISAAC project
• The ESACS project