본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

정리 증명기의 개발 동향
A Survey on Theorem Provers

김익순    (한국전자통신연구원  );
  • 초록

    초록이 없습니다.


  • 참고문헌 (15)

    1. The Twelf Project, http://twelf.org/wiki/Main_Page 
    2. The Coq Proof Assistant, http://coq.inria.fr/ 
    3. Miner Paul S., "Defining the IEEE-854 Floating-Point Standard in PVS", NASA Langley Technical Report, 1995 
    4. COMPCERT, http://compcert.inria.fr/ 
    5. Gemalto, http://www.gemalto.com/php/pr_view.php?id=239 
    6. Adam Koprowski, "Introduction to PVS: proving with computer assistance", Lecture material in Radboud University Nijmegen, May 2008 
    7. Henk Barendregt, "Introduction to generalized type systems", Journal of Functional Programming, Vol. 1, No. 2, April 1991, pp. 125-154 
    8. Rober Harper, Furio Honsell and Gordon Plotkin, "A framework for defining logics", Journal of the ACM, Vol. 40, Issue 1, Jan. 1993, pp. 143-184 
    9. PVS Specification and Verification System, http://pvs.csl.sri.com 
    10. Steven P. Miller and Mandayam Srivas, "Formal Verification of the AAMP5 Microprocessor: a case study in the industrial use of formal methods", PVS Specification and Verification System, Industrial-Strength Formal Specification Techniques, 1995. Proceedings., Workshop, Apr 1995, pp.2-16 
    11. Andrea Asperti, "A survey on interactive theorem proving", January 2009 
    12. ACL2 Version 4.3, http: //www.cs.utexas.edu/-moore/acI2/ 
    13. J Strother Moore, "A theorem proving tool for program analysis: ACL2", Theorem Proving Tools for Program Analysis 2011 
    14. R. S. Boyer and J Strother Moore, NQTHM, http://www.computationallogic.com/software/nqthm/ 
    15. Isabelle, http://www.cl.cam.ac.uk/research/hvg/isabelle/index.html 

 저자의 다른 논문

  • 김익순 (1)

    1. 2013 "멀티프로세서를 위한 사용자 수준 파이프" 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 19 (3): 128~134    

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • NDSL :
유료다운로드

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

원문복사신청을 하시면, 일부 해외 인쇄학술지의 경우 외국학술지지원센터(FRIC)에서
무료 원문복사 서비스를 제공합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 이용한 콘텐츠
이 논문과 함께 출판된 논문 + 더보기