A Trustworthy Proof Checker

Author： Appel Andrew   Michael Neophytos   Stump Aaron   Virga Roberto  

Publisher： Springer Publishing Company

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.31, Iss.3-4, 2003-11, pp. : 231-260

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

HYTECH: a model checker for hybrid systems

By Henzinger Thomas A.   Ho Pei-Hsin   Wong-Toi Howard  

International Journal on Software Tools for Technology Transfer, Vol. 1, Iss. 1-2, 1997-12 ,pp. : 110-122

Springer Publishing Company

Access to resources Recommend Favorite

Composition and evaluation of trustworthy web services

By Yang Stephen J.H.   Hsieh James S.F.   Lan Blue C.W.   Chung Jen-Yao  

International Journal of Web and Grid Services, Vol. 2, Iss. 1, 2006-02 ,pp. : 5-24

Inderscience Publishers

Access to resources Recommend Favorite

A Trustworthy Usage Control Enforcement Framework

By  

International Journal of Mobile Computing and Multimedia Communications (IJMCMC), Vol. 5, Iss. 3, 2013-07 ,pp. : 34-49

IGI Global_journal

Access to resources Recommend Favorite

New accurate home stand position checker for robots

By Gorman Terry   Glew Derek  

Industrial Robot: An International Journal, Vol. 22, Iss. 3, 1995-03 ,pp. : 33-34

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

A nonadaptive NC checker for permutation group intersection

By Arvind V.   Toran J.  

Theoretical Computer Science, Vol. 259, Iss. 1, 2001-05 ,pp. : 597-611

Elsevier

Access to resources Recommend Favorite