An Example of Use of Formal Methods to Debug an Embedded Software.

Andr Arnold, Didier Bgay, Jean-Pierre Radoux

Browse the full FM paper archive.