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↗