サクサク読めて、アプリ限定の機能も多数!
AWSとかMSが使ってるのはTLA+だっけ。形式手法はまだまだ導入例を見かけることが少ないので貴重な資料。
kwhrtsk のブックマーク 2019/08/31 07:08
形式手法を使って、 発見しにくいバグを一網打尽にしようAWSとかMSが使ってるのはTLA+だっけ。形式手法はまだまだ導入例を見かけることが少ないので貴重な資料。2019/08/31 07:08
このブックマークにはスターがありません。 最初のスターをつけてみよう!
speakerdeck.com/hoddy31902019/08/30
builderscon tokyo 2019で話したときに使った資料です。 YouTube: https://www.youtube.com/watch?v=D7GccAn6R94 [2020/04/17追記] この資料をさらにブラッシュアップした資料を公開しました。 この資料よりも次...
90 人がブックマーク・6 件のコメント
\ コメントが サクサク読める アプリです /
AWSとかMSが使ってるのはTLA+だっけ。形式手法はまだまだ導入例を見かけることが少ないので貴重な資料。
kwhrtsk のブックマーク 2019/08/31 07:08
このブックマークにはスターがありません。
最初のスターをつけてみよう!
形式手法を使って、 発見しにくいバグを一網打尽にしよう
speakerdeck.com/hoddy31902019/08/30
builderscon tokyo 2019で話したときに使った資料です。 YouTube: https://www.youtube.com/watch?v=D7GccAn6R94 [2020/04/17追記] この資料をさらにブラッシュアップした資料を公開しました。 この資料よりも次...
90 人がブックマーク・6 件のコメント
\ コメントが サクサク読める アプリです /