Searched for: subject%3A%22promela%22
(1 - 2 of 2)
De Vos, B. (author)
master thesis 2011
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