Verification of customizable blockchain consensus rule using a formal method
- Ryo Kawahara
- 2020
- ICBC 2020
Conference paper
Publications
4 results for Ryo Kawahara
A modeling method for performance evaluation of embedded software by eliminating execution traces
- Kouichi Ono
- Ryo Kawahara
- et al.
- 2011
- Computer Software
ReviewCoarse-grained simulation method for performance evaluation a of shared memory system
- Ryo Kawahara
- Kenta Nakamura
- et al.
- 2011
- ASP-DAC 2011
Conference paperVerification of embedded system's specification using collaborative simulation of SysML and simulink models
- Ryo Kawahara
- Hiroaki Nakamura
- et al.
- 2009
- MBSE 2009
Conference paper