Browsing by Subject "concurrency"
Now showing items 1-1 of 1
-
(2016)Formal verification means to rigorously explore the correctness of system designs expressed as mathematical models, most likely with the assistance of modern computers. Original approaches were to model and express a ...