Verifying time partitioning in the DEOS scheduling kernel (Q816194)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Verifying time partitioning in the DEOS scheduling kernel |
scientific article; zbMATH DE number 5007750
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying time partitioning in the DEOS scheduling kernel |
scientific article; zbMATH DE number 5007750 |
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
0.8561446
0 references
0.8486393
0 references
0.8431157
0 references
0.83464706
0 references
0.83264977
0 references
0.83245045
0 references
0.8303064
0 references
