Module ModelChecker


module ModelChecker: sig .. end
Model Checker.

This module defines the interface of model-checking engines, as a functor taking as argument a module for the model to be model-checked, and returning a module with a model-checking function. The interface used for models is defined in the Model module.


module type S = functor (A : Model.S) -> sig .. end