Blar i Department of Informatics på forfatter "Lilleskare, Andreas"
-
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 ...