Model Checking Software
Lecture Notes in Computer Science, 2002, Volume 2318/2002, 39-44, DOI: 10.1007/3-540-46017-9_22

System Specification and Verification Using High Level Concepts — A Tool Demonstration

Christian Stehno

View Related Documents

Abstract

This paper describes a sample modelling and verification session using SDL and SPIN modelchecker via the PEP tool1. We will focus on the tight integration of all involved tools allowing the user to stay within his known environment of SDL specifications. Thus the user need not know about the underlying Petri net or the Promela language even while formulating the properties to be checked.

Fulltext Preview

Image of the first page of the fulltext document