3 ms·
(1) Model checking first (using a tool most appropriate for the domain): UPPAAL, SPIN, NuSMV, Z3, TLA+ (2) Model based design (less time spent on less value-ad
by fallingmeat 4y ago
(1) Model checking first (using a tool most appropriate for the domain): UPPAAL, SPIN, NuSMV, Z3, TLA+
(2) Model based design (less time spent on less value-added concerns...plus, capturing even more benefit from (1))