Conclusion Model-based testing for thorough testing –Conformance testing –Certification Reduce costs of such testing Lightweight formal methods 10.05.201217Information Technologies and Management, Almaty
{}