Back to Results
First PageMeta Content
Theoretical computer science / Formal methods / Proof assistant / Mathematical proof / Theorem / KeY / Rippling / Isabelle / Specification language / Logic / Mathematics / Automated theorem proving


How to say why (in AI4FM) Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside School of Computing Science, Newcastle University {name.surname}@newcastle.ac.uk October 30, 2013
Add to Reading List

Document Date: 2013-11-21 06:16:22

Open Document

File Size: 1,20 MB

Share Result on Facebook

/

Facility

Newcastle University / VDM library / /

IndustryTerm

proof processing tools / machinery / preliminary tools / data structure/algorithm / verification tools / possible proof search space / computing / alternative solutions / proof search space / /

Organization

OBLIGATIONS IN FORMAL METHODS Chapter / PROOF OBLIGATIONS IN FORMAL METHODS Chapter / Iain Whiteside School of Computing Science / Newcastle University / /

Person

Schmalz / Cliff B. Jones / Leo Freitas / /

Position

proof assistant / General / expert/engineer / /

Technology

same data structure/algorithm / machine learning / /

URL

http /

SocialTag