(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))
(2) Model based design (less time spent on less value-added concerns...plus, capturing even more benefit from (1))
No comments yet.