Verifying the Implementation of an Operating System Scheduler

Authors:
Moritz Kleine;Björn Bartels;Thomas Gothel;Sabine Glesner
Affiliations:
-;-;-;-
Venue:
TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
Year:
2009

Citing 0
Cited 2

LLVM2CSP: extracting csp models from concurrent programs

NFM'11 Proceedings of the Third international conference on NASA Formal methods
A CSP-based framework for the specification, verification, and implementation of adaptive systems

Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract