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 ...