Consistent Partial Model Checking

@article{Huth2004ConsistentPM,
  title={Consistent Partial Model Checking},
  author={Michael Huth and Shekhar Pradhan},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2004},
  volume={73},
  pages={45-85}
}
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