Formal Methods

Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering
PDF Project
Integrating Formal Specifications into Applications - The ProB Java API
The common formal methods workflow consists of formalising a model followed by applying model checking and proof techniques. Once an …
PDF Project
The First Twenty-Five Years of Industrial Use of the B Method
PDF Project
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
Embedding SMT-LIB into B for Interactive Proof and Constraint Solving
Paper presentation.
Dec 6, 2019 11:30 AM — 12:00 PM Bergen, Norway
Project
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
Prototyping Games Using Formal Methods
Courses on formal methods are often based on examples and case studies, supposed to show students how to apply formal methods in …
PDF Project Project Slides