Kokichi Futatsugi Research Professor
Research Center for Software Verification

Results 1-7 of about 7

• 1.　Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs，Jitticak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi，情報科学技術フォーラム FIT2004 一般講演論文集第1分冊，4-Sep
• 2.　Verifications with Proof Scores in CafeOBJ，Kokichi Futatsugi, Joseph A. Goguen, and Kazuhiro Ogata，17th Int. Workshop on Algebraic Development Techniques，Barcelona, Spain，27th-29th March 2004
• 3.　Formal analysis of the NetBill electronic commerce protocol，Kazuhiro Ogata and Kokichi Futatsugi，Proc. of the Second International Symposium on Software Security (ISSS2003)，Tokyo Institute of Technology, Oookayama, Tokyo，4th-6th November 2003
• 4.　Specification and verification in CafeOBJ，Kokichi Futatsugi，IFIP WG1.3 (Foundations of System Specification) Meeting，Menorca Spain，1th-4th June 2003
• 5.　Specifications and verifications in CafeOBJ，Kokichi Futatsugi，Trusted Components workshop, (Organized by ETH Zurich, Monash University and TOOLS conferences)，Prato (near Florence), Italy，10-Jan-03
• 6.　Formal Methods in CafeOBJ，Kokichi Futatsugi，LNCS 2441, pp.1--20,Springer, 2002, Invited Talk at "6th International Symposium on Functional and Logic Programming"，Aizu, Japan，2-Sep
• 7.　Rewriting Can Verify Distributed Real-time Systems，Kokichi Futatsugi and Kazuhiro Ogata，Proc. of International Symposium on Rewriting, Proof, and Computation, PRC'01, pp.60-79 (invited talk)，Oct. 2001