Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel.

Imane Haur, Jean-Luc Bchennec, Olivier H. Roux

Browse the full ICFEM paper archive.