Jeroen Keiren

Jeroen Keiren

Formal methods researcher at TU/e

A MOOC on system validation is born

less than 1 minute read

Exciting news! Today the MOOC on system validation that I have developed with Mohammad Reza Mousavi from Halmstad University has started. The MOOC is based on the book Modeling and Analysis of Communicating Systems, which was coauthored by Mohammad, and on which my\ System Validation course at TU Delft is also based.

About the course

Anyone who has ever designed an embedded system or a communication protocol involving several components executing simultaneously knows that such software is inherently susceptible to bugs. Typical problems include race conditions, deadlocks, and unexpected interplay between different components. The parallel nature of these systems makes it notoriously hard to detect such bugs using testing (timing, e.g., plays a crucial role). This course is designed to provide an introduction to the problems that arise in the design of such systems. It provides ways to model such systems and reason about them.

The course has been in the making for some time, and I reported on the experiences in setting it up here.

Updated:

You May Also Enjoy

On Games and Simulations

9 minute read

This is a guest blog by Hans-Dieter Hiep, a student from Vrije Universiteit Amsterdam who worked with me to build a GUI for our work on game-based (bi)simula...

WSFM/BEAT 2015 Deadline Extension

less than 1 minute read

This is just a quick note about WSFM/BEAT 2015. The submission deadlines have been extended by a couple of days, so you can still submit.

WSFM/BEAT 2015 Deadline Approaching

less than 1 minute read

This year, the Workshop on Web Services and Formal Methods (WS-FM) and the Workshop on Behavioural Types have joined forces, forming the International Sympos...