@asatarin Я бы не сказал, что наша цель -- это только найти ошибки. Всё-таки мы хотим (1) гарантировать отсутствие очень широко класса ошибок, и/или (2) использовать инсайт, полученный от тулинга ФМ, как путеводную звезду при проектировании системы, см., н
1,010 followers
540 followers
RT @tomooda: モバイルFeliCaファームウェア開発でのVDMの役割もこれ。実際に証明までしなくても、証明を意識した言語で仕様を記述するだけでも仕様の品質向上に役立った事例。https://t.co/m6TCfsScFR
1,923 followers
モバイルFeliCaファームウェア開発でのVDMの役割もこれ。実際に証明までしなくても、証明を意識した言語で仕様を記述するだけでも仕様の品質向上に役立った事例。https://t.co/m6TCfsScFR
1,136 followers
@purehate_ @tottenkoph I'm afraid that my preferred .ninja domain is no longer available. http://t.co/gDrnR788lX