kwhrtskのブックマーク - はてなブックマーク

kwhrtsk id:kwhrtsk

ブックマーク / speakerdeck.com/hoddy3190 (1)

形式手法を使って、発見しにくいバグを一網打尽にしよう
builderscon tokyo 2019で話したときに使った資料です。 YouTube: https://www.youtube.com/watch?v=D7GccAn6R94 [2020/04/17追記] この資料をさらにブラッシュアップした資料を公開しました。この資料よりも次の資料をご覧いただくことをおすすめします。 https://www.slideshare.net/dena_tech/dena-techcon-2020-230372486
kwhrtsk 2019/08/31
AWSとかMSが使ってるのはTLA+だっけ。形式手法はまだまだ導入例を見かけることが少ないので貴重な資料。
リンク
1

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx