Browsing NTNU Open by Author "Fredriksen, Inge"
Now showing items 1-1 of 1
-
Formal Methods for System Development
Fredriksen, Inge (Master thesis, 2009)Two main types of formal methods have been investigated, formal specification and formal verification. Focus for formal verification has been on the concept of un-timed model checking. Some dominating formal specification ...