large systems / abstract solution / valid concrete solution / empty abstract solution / abstract transition systems / state-space search algorithms / blind search / state-space search / abstraction refinement algorithm / abstract solutions / transition systems / /
Organization
Transregional Collaborative Research Center / Model Checking and Artificial Intelligence / Artificial Copyright Intelligence / German Research Foundation / Association for the Advancement / Swiss National Science Foundation / Computational Intelligence / /
Counterexample-guided Cartesian Abstraction Refinement Jendrik Seipp and Malte Helmert Universit¨at Basel Basel, Switzerland {jendrik.seipp,malte.helmert}@unibas.ch