 |
|
|
homepage: http://www.jaist.ac.jp/jaist-coe/index-jp.html 2004（平成16）年 11月 安心電子社会研究センター設置 2009（平成21）年 4月 安心電子社会教育研究センター設置（安心電子社会研究センターを改組） 2016年（平成28年）3月 安心電子社会教育研究センター廃止 このコミュニティのサブ・コミュニティ
|
最近登録されたアイテム自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について（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
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||