High-Confidence Operating Systems ¹

Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, and Yanhong A. Liu
Stony Brook University