Verification of a scheduler in B through a timed automata specification
| Autor: | Jean-Paul Bodeveix, Odile Nasr, Miloud Rached Irit, Mamoun Filali |
|---|---|
| Rok vydání: | 2006 |
| Předmět: | |
| Zdroj: | SAC |
| DOI: | 10.1145/1141277.1141700 |
| Popis: | This paper proposes a methodology for specifying and verifying schedulers using the B method. It is based on the refinement mechanism. The specification must manage time through clocks, whereas the natural modeling of schedulers exploits only stopwatches. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|