JAIST Repository > Education and Reseach Center for Trustworthy e-Society 2004-2016 > Conference Papers, Presentations >
自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について(MLATとAgdaの接合)
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
On-the-fly Model Checking Security Protocols and Its Implementation by Maude
ToyWeb based prover
Theorem-proving Privacy and Anonymity