自動運転に欠かせない「バグのない制御ソフトを開発する」(2)　形式手法とは?

ソフト開発においてはバグのないことが絶対的に求められている。だが、現状の日本の法律の立て付では、自分…