Essays about: "fixpoint engine"
Found 1 essay containing the words fixpoint engine.
-
1. A CLP(FD)-based model checker for CTL
University essay from Institutionen för datavetenskapAbstract : 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
Result pages:
1