The HiVy toolset
The HiVy toolset provides model checking for statecharts. This is achieved by translating statechart specifications into the input language of the spin model checker.
model checking statechart translation validation↗
Engineering topics
Mikk, E.
Publications and source records attributed to Mikk, E..
Validation of mission critical software design and implementation using model checking
Model Checking conducts an exhaustive exploration of all possible behaviors of a software system design and as such can be used to detect defects in designs that are typically difficult to discover with conventional testing approaches.
model checking statecharts automated translation↗
Validation of mission critical software design and implementation using model checking
Explore the source record for details and available documents.
software design software architecture validation↗
Automated statechart model checking
Explore the source record for details and available documents.
model checking statecharts automated translation↗