Verifying Time Partitioning in the DEOS Scheduling Kernel

Willem Visser
Seungjoon Park
Corina S. Pasareanu
Eric Engstrom
Aaron Larson
Nicholas Weininger
Formal Methods in System Design, 26(2005), pp. 103-135

Abstract

Research Areas