How Model-Checking Can Help Model Exploration Marsha Chechik
Overview of Multi-Valued Model-Checking Multi-Valued Algebras Multi-Valued Algebras: Examples Multi-valued state machines: Xkripke structures Partial information Reasoning about Abstraction Complexity Solving Query-Checking Some formalism Reasoning with Colors Encoding TLQ Queries with Multiple Placeholders Negation Multi-Valued Model-Checking ...