2021-12-01から1ヶ月間の記事一覧
Amazon ツールはよくわからない。独自? Amazon S3の軽量形式手法 - masateruk’s blog DeNA Spin 3.形式手法を応用した、仕様段階でのバグの検出 a.形式手法(Spin/Promela等)を利用し、仕様の形式記述言語を表現し、仕様バグを早期に発見する b.形式記…
Amazon ツールはよくわからない。独自? Amazon S3の軽量形式手法 - masateruk’s blog DeNA Spin 3.形式手法を応用した、仕様段階でのバグの検出 a.形式手法(Spin/Promela等)を利用し、仕様の形式記述言語を表現し、仕様バグを早期に発見する b.形式記…