An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS.

Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev

Browse the full FM paper archive.