Counterexample

Results: 85



#Item
31L op Detection Advances in Counterexample Guided Abstraction-Refinement Counterexample-guided abstraction-refinement based on predicate abstraction enables model checking large C programs (such as Windows device drivers)

L op Detection Advances in Counterexample Guided Abstraction-Refinement Counterexample-guided abstraction-refinement based on predicate abstraction enables model checking large C programs (such as Windows device drivers)

Add to Reading List

Source URL: www.georg.weissenbacher.name

Language: English - Date: 2010-10-22 10:59:31
    32Under-Approximating Loops in C Programs for Fast Counterexample Detection? Daniel Kroening1 , Matt Lewis1 , and Georg Weissenbacher2?? 1 2

    Under-Approximating Loops in C Programs for Fast Counterexample Detection? Daniel Kroening1 , Matt Lewis1 , and Georg Weissenbacher2?? 1 2

    Add to Reading List

    Source URL: www.georg.weissenbacher.name

    Language: English - Date: 2013-06-17 11:22:26
      33Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) Johannes Birgmeier1? , Aaron R. Bradley2?? , and Georg Weissenbacher1? 1 Vienna University of Technology

      Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) Johannes Birgmeier1? , Aaron R. Bradley2?? , and Georg Weissenbacher1? 1 Vienna University of Technology

      Add to Reading List

      Source URL: www.georg.weissenbacher.name

      Language: English - Date: 2014-05-16 17:06:38
        34A Counterexample to Richard von Mises’s Theory of Collectives Jean Ville Translation and introduction by Glenn Shafer www.glennshafer.com,

        A Counterexample to Richard von Mises’s Theory of Collectives Jean Ville Translation and introduction by Glenn Shafer www.glennshafer.com,

        Add to Reading List

        Source URL: www.probabilityandfinance.com

        Language: English - Date: 2005-11-25 09:37:31
          35Aachen Department of Computer Science Technical Report A Counterexample to the Fully Mixed Nash Equilibrium

          Aachen Department of Computer Science Technical Report A Counterexample to the Fully Mixed Nash Equilibrium

          Add to Reading List

          Source URL: sunsite.informatik.rwth-aachen.de

          Language: English - Date: 2006-04-03 08:20:53
            36BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation

            BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation

            Add to Reading List

            Source URL: www.mathematik.tu-darmstadt.de

            Language: English - Date: 2012-11-16 09:12:20
              37Midterm Examination: Economics 210A October 2011 The exam has 6 questions. Answer as many as you can. Good luck. 1) A) Must every quasi-concave function must be concave? If so, prove it. If not, provide a counterexample.

              Midterm Examination: Economics 210A October 2011 The exam has 6 questions. Answer as many as you can. Good luck. 1) A) Must every quasi-concave function must be concave? If so, prove it. If not, provide a counterexample.

              Add to Reading List

              Source URL: econ.ucsb.edu

              Language: English - Date: 2011-10-31 14:33:23
                38On Lafont's Counterexample

                On Lafont's Counterexample

                Add to Reading List

                Source URL: cs.bath.ac.uk

                Language: English - Date: 2007-12-18 10:37:58
                  39BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation

                  BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 1998-01-07 06:24:59
                    40JMLR: Workshop and Conference Proceedings 34:79–93, 2014 Proceedings of the 12th ICGI An Abstract Framework for Counterexample Analysis in Active Automata Learning

                    JMLR: Workshop and Conference Proceedings 34:79–93, 2014 Proceedings of the 12th ICGI An Abstract Framework for Counterexample Analysis in Active Automata Learning

                    Add to Reading List

                    Source URL: jmlr.org

                    Language: English - Date: 2014-08-26 06:56:50