Deze website gebruikt cookies (en daarmee vergelijkbare technieken) om het bezoek voor u nog makkelijker en persoonlijker te maken. Met deze cookies kunnen wij en derde partijen uw internetgedrag binnen en buiten onze website volgen en verzamelen.
Hiermee kunnen wij en derde partijen advertenties aanpassen aan uw interesses en kunt u informatie delen via social media.
Klik op 'Ik ga akkoord' om cookies te accepteren en direct door te gaan naar de website of klik op om uw voorkeuren voor cookies te wijzigen.
Bekijk onze privacyverklaring voor meer informatie.
Dutch Model Checking Day 2018: Reductions in model checking
Model checking is a tool-supported technique to analyse the correctness of ICT systems that enjoys increasing popularity in both scientific and industrial circles. In the past decades, research in this area has led to dramatic improvements in the performance of model checking tools. This has enabled its application to real-life problems and has induced various industries to invest in the development and application of model checkers. On thursday June 21 2018 the Dutch Model Checking Day will be held in studycentre Utrecht of the Open University.
About the Dutch Model Checking Day 2018
The Dutch Model Checking Day (DMCD 2018) is a forum for practitioners and researchers interested in model-checking based techniques for the validation and analysis of communication protocols and software systems. Topics covered in the DMCD include theoretical and algorithmic foundations and tools for distributed verification, large and infinite state spaces, coordination problems, timed systems and hybrid systems. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering. The Dutch Model Checking Day aims at providing a forum for discussions, to exchange ideas and inform each other on the state of the art in this research area.
The Dutch Model Checking Day will be held at studycentre Utrecht, Vondellaan 202 (1st floor). Registration is free, including lunch. You can now register for the Dutch Model Checking Day 2018 by completing the registration form. Please include your name, email, institution and whether you want to have lunch with us (and if you have dietary requirements), as well as any questions or comments that you may have. The registration deadline had passed.
Department of Computer Science
Faculty of Management, Science & Technology