Understanding Counterexamples with explain
No abstract available.
DOI 10.1007/978-3-540-27813-9_35
Related papers
- Explaining Counterexamples Using Causality CAV 2009
- Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong) ICFP 2016
- Explaining Hyperproperty Violations CAV 2022
- Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong) JFP 2018
- Explaining failures of program analyses PLDI 2008
- Counterexample Explanation by Learning Small Strategies in Markov Decision Processes CAV 2015
- Explaining spreadsheets with spreadsheets (short paper) GPCE 2018
- Better Counterexamples for Dafny TACAS 2022