Verification of a scheduler in B through a timed automata specification.

Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit

Browse the full SAC paper archive.