情報処理学会の会誌が届いた。今月の特集はフォーマルメソッド（形式手法）。将来の技術はともかく、今すぐに欲しいのは実際に存在するソースコードにモデル検査を適用する手法だ。完璧に検査しなくても良いから、少しでも手作業によるテストを減らしたいと…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。
