Model Checking

Increasing Student Self-Reliance and Engagement in Model-Checking Courses
Courses on formal methods focus on two aspects: teaching formalisms and exemplary applications as well as teaching techniques for …
PDF Project
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
Paper presentation.
Jun 10, 2021 10:25 AM — 10:50 AM virtual
Testing, Model Checking and Static Analysis – Dream Team or Rivals?
Paper presentation.
Mar 4, 2021 11:00 AM — 11:30 AM virtual
Slides
Testing, Model Checking and Static Analysis – Dream Team or Rivals?
Ensuring reliability and quality of software has become a necessity. This is especially true for safety critical systems. To do so, …
PDF Slides
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
In this article, we present an approach to the ABZ 2020 case study, that differs from the ones usually presented at ABZ: Rather than …
PDF Slides
Validation and Real-Life Demonstration of ETCS Hybrid Level 3 Principles Using a Formal B Model
In this article, we present a concrete realisation of the ETCS Hybrid Level 3 concept, whose practical viability was evaluated in a …
Project
Translating Alloy and Extensions to Classical B
In this article, we introduce a denotational translation of the specification language Alloy to classical B. Our translation closely …
Project DOI
Prototyping Games using Formal Methods
Paper presentation.
Dec 2, 2019 2:00 PM — 2:30 PM Bergen, Norway
Project
Inquiry- and Research-based Teaching in a Course on Model Checking
Paper presentation.
Dec 2, 2019 11:30 AM — 12:00 PM Bergen, Norway
Project
Inquiry- and Research-based Teaching in a Course on Model Checking
In this presentation, we discuss a recent publication on our course on model checking. The course has been shifted from a classical …
PDF Project Project Slides