Modelization and verification of a multiprocessor realtime OS kernel.

Thierry Cattel

Browse the full FORTE paper archive.