Verifying time partitioning in the DEOS scheduling kernel (Q816194)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying time partitioning in the DEOS scheduling kernel |
scientific article |
Statements
Verifying time partitioning in the DEOS scheduling kernel (English)
0 references
20 February 2006
0 references
program model checking
0 references
spin
0 references
time partitioning
0 references
verification
0 references
predicate abstraction
0 references
0 references
