Searched for: author%3A%22Vielvoije%2C+E.%22
(1 - 1 of 1)
Vielvoije, E. (author)
In model checking a formal model of a software system is constructed. That model is verified against a set of properties expressed in some logic. Once a model has been created and verified, it is still necessary to write the application itself completely by hand. No tools have yet been developed that can automatically create a system or...
master thesis 2008