IVY workbench
A tool to model and verify interactive systems, using NuSMV as the verification backend.
Related Models
- Air conditioning (21 Dec 2016)
- MAL version of GUM related model (28 Nov 2018)
- BBraun two layer model (thinv6t3v1) (28 Nov 2018)
- A/C System (28 Nov 2018)
- Photocopier (28 Nov 2018)
- MAL Model of the FCU (30 Mar 2020)
- Fluke 114 (14 Oct 2024)
- C&C Local Control boards reimagined (interactors) (21 Apr 2026)