Browse Dept. of Computer Science by Subject "monadic second-order logic"
Now showing items 1-1 of 1
(2013-08-22)Reliability is critical for system software, such as OS kernels, mobile browsers, embedded systems and cloud systems. The correctness of these programs, especially for security, is highly desirable, as they should provide ...