Browse
Sign on to:
My DSpace
authorized users

JAIST Repository >
Education and Reseach Center for Trustworthy e-Society 2004-2016 >
Conference Papers, Presentations >

JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology （1st VERITE） : [15]

Collection home page
 
All Faculty's Articles
 
or browse     
1st VERITE : JAIST/TRUST-AIST/CVS joint workshop on VERIfication TEchnologyでの発表資料
開催：2005年9月21日～22日
開催場所：金沢市文化ホール3F


 

Recent Submissions

Proving Properties of Incremental Merkle Trees

Abstraction of programs in PML (Pointer Manipulation Language)

A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method

Toward Agda-2 Agda at CVS

Constructive Type Theory and Interactive Theorem Proving
Contact : Library Information Section, Japan Advanced Institute of Science and Technology