A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy

Authors:
Matthew Wilding
Affiliations:
-
Venue:
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Year:
1998

Citing 0
Cited 4

Automatic synthesis of a subclass of schedulers in timed systems

Theoretical Computer Science - Australasian computer science
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report

Proceedings of the 26th International Conference on Software Engineering
Formalising scheduling theories in duration calculus

Nordic Journal of Computing
Formal analysis of the priority ceiling protocol

RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract