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