Module CfLazyModelChecker

module CfLazyModelChecker: sig  end

This module implements the lazy model checking algorithm.

module Stats: sig  end

module Make_Lazy_Model_Checker: functor (Abstraction : sig  end) -> sig  end