Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit. Verification of a scheduler in B through a timed automata specification. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 1800-1801, ACM, 2006. [doi]
Abstract is missing.