Found 1 document(s)
Page 1 of 1
-
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than jus...