Rippling

Results: 71



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

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: dream.inf.ed.ac.uk

Language: English - Date: 2010-04-09 17:09:07
22IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ?

IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ?

Add to Reading List

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

Language: English - Date: 2010-03-10 05:42:39
23Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit`

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: dream.inf.ed.ac.uk

Language: English - Date: 2010-10-06 07:21:32
24CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5

CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5

Add to Reading List

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

Language: English - Date: 2005-05-19 12:03:26
25BRICS BRICS NS-94-2 Basic Research in Computer Science

BRICS BRICS NS-94-2 Basic Research in Computer Science

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2003-12-04 07:20:36
26Oil and Natural Gas Stimulate Michigan Economic and Job Growth Oil and natural gas are driving the U.S. economy through a major energy boom and that boom is rippling through the economy of Michigan,

Oil and Natural Gas Stimulate Michigan Economic and Job Growth Oil and natural gas are driving the U.S. economy through a major energy boom and that boom is rippling through the economy of Michigan,

Add to Reading List

Source URL: www.api.org

Language: English - Date: 2014-09-12 08:57:45
    27Proof Patterns for Formal Methods Leo Freitas and Iain Whiteside School of Computing Science, Newcastle University, U.K. {*.*}@newcastle.ac.uk Abstract. Design patterns represent a highly successful technique in

    Proof Patterns for Formal Methods Leo Freitas and Iain Whiteside School of Computing Science, Newcastle University, U.K. {*.*}@newcastle.ac.uk Abstract. Design patterns represent a highly successful technique in

    Add to Reading List

    Source URL: www.ai4fm.org

    Language: English - Date: 2015-04-10 11:01:31
    28FUTURE OF WORK: PEOPLE, PLACE, TECHNOLOGY Twentieth century futurists certainly had a sense – whether of foreboding or optimism – of looming technological disruption, a phenomenon rippling through entire industries a

    FUTURE OF WORK: PEOPLE, PLACE, TECHNOLOGY Twentieth century futurists certainly had a sense – whether of foreboding or optimism – of looming technological disruption, a phenomenon rippling through entire industries a

    Add to Reading List

    Source URL: insights.unimelb.edu.au

    Language: English - Date: 2014-10-17 01:28:28
    29AI4FM Rippling Experiment

    AI4FM Rippling Experiment

    Add to Reading List

    Source URL: www.ai4fm.org

    Language: English - Date: 2013-10-30 13:20:44
    30The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh ATX 2012

    The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh ATX 2012

    Add to Reading List

    Source URL: www.ai4fm.org

    Language: English - Date: 2013-10-30 13:20:44