Consistent Partial Model Checking

  title={Consistent Partial Model Checking},
  author={Michael Huth and Shekhar Pradhan},
  journal={Electr. Notes Theor. Comput. Sci.},
We propose assertion-consistency (AC) semi-lattices as suitable orders for the analysis of partial models. Such orders express semantic entailment, multiple-viewpoint and multiple-valued analysis, maintain internal consistency of reasoning, and subsume finite De Morgan lattices. We classify those orders that are finite and distributive and apply them to… CONTINUE READING