Year: 2001
Type: book
Abstract: This report contains the preliminary proceedings of the third Dutch Model\nChecking Day, held on 7th November 2001 at the Technische Universiteit Eindhoven.\nModel checking is an automatic technique for verifying hardware and software\nsystems. The advance of the research in this area in the past few years\nhas lead to a significant improvement of the model checking tools. Successful\napplications of model checking have been reported in the verification of a\nwide variety of systems, like complex sequential circuit designs and communication\nprotocols. An important evidence of the great practical potential of model\nchecking is the development of in-house model checking tools within the major\ncompanies from the information and telecommunication industry.\nThe objective of the Model Checking Day was to bring together researchers\nand practitioners from academia and industry who are interested in model checking.\nThe presentations featured both practical and theoretical advances in the\narea. This includes new techniques and methodologies, as well as experience\nwith their application in various areas, such as embedded systems, communication\nprotocols, hardware components, production processes, etc.\nBesides this, the Model Checking Day provided an opportunity to exchange\nexperiences, and to have discussions about new ideas and the latest developments\nin the area.\nThis proceedings contains contributions related to the presentations on this\nday, details are given in the table of contents. The Model Checking Day received\ngenerous support from the Formal Methods Group of the Technische\nUniversiteit Eindhoven and the research school IPA (Institute for Programming\nresearch and Algorithmics). At this point I would like to thank the members\nof the program committee Dragan Bosnacki (TU/e Computer Science), Leszek\nHolenderski (Philips Research) and Jeroen Voeten (TU/e Electrical Engineering),\nand the secretary Elize Russell (TU/e Computer Science) for all their work.
Source: TU/e Research Portal
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W589201892