Essays about: "fixpoint engine"

Found 1 essay containing the words fixpoint engine.

  1. 1. A CLP(FD)-based model checker for CTL

    University essay from Institutionen för datavetenskap

    Author : Marcus Eriksson; [2005]
    Keywords : Datalogi; fixpoint engine; model checking; tabled resolution; Constraint Logic Programming; strategies; Datalogi;

    Abstract : Model checking is a formal verification method where one tries to prove or disprove properties of a formal system. Typical systems one might want to prove properties within are network protocols and digital circuits. Typical properties to check for are safety (nothing bad ever happens) and liveness (something good eventually happens). READ MORE