Rippling

Results: 71



#Item
1

Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit`

Add to Reading List

Source URL: www.cse.chalmers.se

- Date: 2012-03-21 07:54:00
    2

    Best-First Rippling Moa Johansson, Alan Bundy, and Lucas Dixon School of Informatics, University of Edinburgh, Appleton Tower, Crichton St, Edinburgh EH8 9LE, UK {moa.johansson, a.bundy, lucas.dixon}@ed.ac.uk

    Add to Reading List

    Source URL: www.cse.chalmers.se

    - Date: 2012-03-21 07:53:59
      3

      Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona

      Add to Reading List

      Source URL: www.cse.chalmers.se

      - Date: 2012-03-21 07:54:00
        4

        Go with the Flow Nancy L Harry It was a sunny day, but very breezy. I sat on an old wooden bench beside the lake in Mt. Dora. The struggling birds flying above the rippling water fascinated me. The birds flying against t

        Add to Reading List

        Source URL: www.e-eaglesrest.com

        - Date: 2015-07-01 18:52:25
          5Software engineering / Theoretical computer science / Automated theorem proving / Mathematics / Logic in computer science / Functional languages / Formal methods / Reasoning / Satisfiability modulo theories / Rippling / Automated reasoning / IP

          TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab

          Add to Reading List

          Source URL: www.cse.chalmers.se

          Language: English - Date: 2015-05-06 07:44:21
          6Automated theorem proving / Theoretical computer science / Logic / Mathematics / Mathematical proofs / Proof assistants / Formal methods / Formal verification / KeY / Isabelle / Rippling / Automated reasoning

          Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract

          Add to Reading List

          Source URL: fm.csl.sri.com

          Language: English - Date: 2010-11-02 19:53:10
          7Mathematics / Logic / Mathematical logic / Automated theorem proving / Mathematical proofs / Logic in computer science / Statements / Graph theory / Structural induction / Rippling / ACL2 / Lemma

          Automating Inductive Proofs using Theory Exploration Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,moa.johansson

          Add to Reading List

          Source URL: www.cse.chalmers.se

          Language: English - Date: 2013-04-17 07:49:01
          8Mathematics / Logic / Software engineering / Mathematical proofs / Automated theorem proving / Functional languages / Literate programming / Graph theory / Structural induction / Rippling / Five lemma / First-order logic

          HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone

          Add to Reading List

          Source URL: www.cse.chalmers.se

          Language: English - Date: 2013-01-15 03:40:14
          9Software engineering / Formal methods / Theoretical computer science / Automated theorem proving / Computing / Loop invariant / Mathematical proof / Rippling / Extended static checking / Recurrence relation / Automated reasoning / Invariant

          Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK

          Add to Reading List

          Source URL: www.macs.hw.ac.uk

          Language: English - Date: 2004-11-10 11:53:13
          10Automated theorem proving / Rippling / IsaPlanner / A* search algorithm / Mathematical proof / Planner / Isabelle / Theorem / Prolog

          C:/Mina dokument/4th year project/ProjectReport.dvi

          Add to Reading List

          Source URL: dream.inf.ed.ac.uk

          Language: English - Date: 2007-02-02 09:38:01
          UPDATE