Back to Results
First PageMeta Content
Rippling / IsaPlanner / Mathematical proof / Formal methods / Theorem / Formal proof / Isabelle / Logic / Automated theorem proving / Mathematics


Productive use of failure in top-down formal methods School of Informatics University of Edinburgh [removed] Yuhui Lin
Add to Reading List

Document Date: 2013-10-30 13:19:51

Open Document

File Size: 96,05 KB

Share Result on Facebook

Company

Cambridge University Press / Microsoft / /

Country

Ireland / /

/

Facility

Informatics University / Informatics University of Edinburgh ggrov@staffmail.ed.ac.uk / Informatics University of Edinburgh bundy@staffmail.ed.ac.uk Yuhui Lin Gudmund Grov Alan Bundy / /

IndustryTerm

final product / industrial applications / search space / proof search / /

Organization

Cambridge University / Informatics University / University of Edinburgh / /

Person

Lucas Dixon / Gudmund Grov / Alan Bundy / Lin Gudmund Grov Alan Bundy / Jaques Fleuriot / /

Position

proof planner / Prototype Proof Planner / designer / /

Product

FMs / /

PublishedMedium

Theoretical Computer Science / /

Technology

sms / machine learning / artificial intelligence / /

URL

http /

SocialTag