TACAS 2017 submission

Counterexample-Guided Model Synthesis

Mathias Preiner, Aina Niemetz, and Armin Biere

Overview

This site provides supplemental materials for our paper "Counterexample-Guided Model Synthesis", submitted to TACAS 2017.

You are not allowed to use any of the materials provided otherwise.

Downloads