The application of PROMELA and SPIN in the BOS project
Pim Kars · DIMACS series in discrete mathematics and theoretical computer science · 1997
After a short introduction to the BOS project, we discuss the "why, what and how" of the use of formal methods in the project, some recent experience using Promela/Spin and reflections on the pragmatics of validation.