Verifying safety critical task scheduling systems in PPTL axiom system (Q5963639)
From MaRDI portal
scientific article; zbMATH DE number 6544327
Language | Label | Description | Also known as |
---|---|---|---|
English | Verifying safety critical task scheduling systems in PPTL axiom system |
scientific article; zbMATH DE number 6544327 |
Statements
Verifying safety critical task scheduling systems in PPTL axiom system (English)
0 references
23 February 2016
0 references
theorem proving
0 references
scheduler
0 references
real-time
0 references
safety critical system
0 references