Browsing Department of Informatics by Author "Lilleskare, Andreas"
Now showing items 1-1 of 1
-
Model Checking with the Sweep-Line Method
Lilleskare, Andreas (Master thesis, 2017-06-21)Explicit-state model checking is a formal software verification technique that differs from peer review and unit testing, in that model checking does an exhaustive state space search. With model checking one takes a system ...