Reasoned modelling critics: Turning failed proofs into modelling guidance
暂无分享,去创建一个
Gudmund Grov | Michael J. Butler | Andrew Ireland | Maria Teresa Llano | Andrew Ireland | M. Butler | G. Grov | M. T. Llano
[1] Frank Pfenning,et al. Logic Programming and Automated Reasoning , 1994, Lecture Notes in Computer Science.
[2] Alan Bundy,et al. Towards Ontology Evolution in Physics , 2008, WoLLIC.
[3] Michael J. Butler,et al. An Open Extensible Tool Environment for Event-B , 2006, ICFEM.
[4] Anne Elisabeth Haxthausen,et al. Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings , 2008, ICTAC.
[5] Andrew Ireland,et al. Proof planning for strategy development , 2001, Annals of Mathematics and Artificial Intelligence.
[6] Thai Son Hoang,et al. Rodin: an open toolset for modelling and reasoning in Event-B , 2010, International Journal on Software Tools for Technology Transfer.
[7] Alan Bundy,et al. The Use of Explicit Plans to Guide Inductive Proofs , 1988, CADE.
[8] Gudmund Grov,et al. Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance , 2010, ASM.
[9] Thai Son Hoang,et al. Using Design Patterns in Formal Methods: An Event-B Approach , 2008, ICTAC.
[10] Alan Bundy,et al. Proof Plans for the Correction of False Conjectures , 1994, LPAR.
[11] Robert Atkey,et al. Refinement and Term Synthesis in Loop Invariant Generation , 2010, WING@ETAPS/IJCAR.
[12] Andrew Ireland,et al. The Use of Planning Critics in Mechanizing Inductive Proofs , 1992, LPAR.
[13] Jacques D. Fleuriot,et al. IsaPlanner: A Prototype Proof Planner in Isabelle , 2003, CADE.
[14] Ajitha Rajan,et al. Requirements Coverage as an Adequacy Measure for Conformance Testing , 2008, ICFEM.
[15] Jordi Vallverd,et al. Thinking Machines and the Philosophy of Computer Science: Concepts and Principles , 2010 .
[16] Alan Bundy,et al. Rippling - meta-level guidance for mathematical reasoning , 2005, Cambridge tracts in theoretical computer science.
[17] Jean-Raymond Abrial,et al. Modeling in event-b - system and software engineering by Jean-Raymond Abrial , 2010, SOEN.
[18] Michael J. Butler,et al. An incremental development of the Mondex system in Event-B , 2007, Formal Aspects of Computing.
[19] S. Colton,et al. Applying Lakatos-style reasoning to AI problems , 2009 .
[20] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .
[21] Michael J. Butler,et al. ProB: an automated analysis toolset for the B method , 2008, International Journal on Software Tools for Technology Transfer.
[22] Thomas J. Mowbray,et al. AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis , 1998 .