Trace Validation & Model Based Testing: State of the Art

Trace validation and model based testing allow us to keep a formal specification and an actual implementation of the specification in sync. That is: we link the formal model and the implementation together such that we gain confidence that the implementation actually corresponds to the formal model. Why do we need this? Formal models give us great confidence in the safety and liveness properties…