ETPS: A System to Help Students Write Formal Proofs

Author： Andrews Peter B.   Brown Chad E.   Pfenning Frank   Bishop Matthew   Issar Sunil   Xi Hongwei  

Publisher： Springer Publishing Company

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.32, Iss.1, 2004-01, pp. : 75-92

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Streams and strings in formal proofs

By Carbone A.  

Theoretical Computer Science, Vol. 288, Iss. 1, 2002-10 ,pp. : 45-83

Elsevier

Access to resources Recommend Favorite

Formal and semi-formal verification of a web voting system

By CristiaMaximilianoCIFASIS and UNR   Rosario   Argentina   FrydmanClaudiaLSIS-CIFASIS   Marseille   France  

International Journal of Web Information Systems, Vol. 11, Iss. 2, 2015-06 ,pp. : 183-204

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Formal Verification for Embedded System Designs

By Chen Xi   Hsieh Harry   Balarin Felice   Watanabe Yosinori  

Design Automation for Embedded Systems, Vol. 8, Iss. 2-3, 2003-06 ,pp. : 139-153

Springer Publishing Company

Access to resources Recommend Favorite

HELP DESK SYSTEM WITH INTELLIGENT INTERFACE

By Kang Byeong Ho   Yoshida Kenichi   Motoda Hiroshi   Compton Paul  

Applied Artificial Intelligence, Vol. 11, Iss. 7, 1997-12 ,pp. : 611-631

Taylor & Francis Ltd

Access to resources Recommend Favorite

A new mobile payment system with formal verification

By Ahamad Shaik Shakeel  

International Journal of Internet Technology and Secured Transactions, Vol. 4, Iss. 1, 2012-01 ,pp. : 71-103

Inderscience Publishers

Access to resources Recommend Favorite