JAIST Repository > 安心電子社会教育研究センター 2004~2016 >
自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について(MLATとAgdaの接合)
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