The 3rd Dutch Model Checking Day

Model checking is an automatic technique for verifying hardware and software systems. The advance of the research in this area in the past few years has lead to a significant improvement of the model checking tools. Successful applications of model checking have been reported in the verification of a wide variety of systems, like complex sequential circuit designs and communication protocols. An important evidence of the great practical potential of model checking is the development of in-house model checking tools within the major companies from the information and telecommunication industry.

The objective of the Model Checking Day is to bring together researchers and practitioners from academia and industry who are interested in model checking. The presentations are featuring both practical and theoretical advances in the area. This includes new techniques and methodologies, as well as experience with their application in various areas, such as embedded systems, communication protocols, hardware components, production processes, etc.

It is expected that the Model Checking Day will provide an opportunity to exchange experiences, as well as that it will foster a discussion about new ideas and the latest developments in the area.

Program

Supported by

Formal Methods Group Technische Universiteit Eindhoven

Instituut voor Programmatuurkunde en Algoritmiek