Franz J. Rammig, Yuhong Zhao, Sufyan Samara. On-Line Model Checking as Operating System Service. In Sunggu Lee, Priya Narasimhan, editors, Software Technologies for Embedded and Ubiquitous Systems, 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA, November 16-18, 2009, Proceedings. Volume 5860 of Lecture Notes in Computer Science, pages 131-143, Springer, 2009. [doi]
Abstract is missing.