2019-03-05から1日間の記事一覧

チェシャ猫さんを招いて、形式手法Alloyハンズオンを開催しました

みなさんこんにちは!ピクシブで唯一のテスト専任エンジニアの @shimashima です。 2月20日に、kubernetesや形式手法で有名な チェシャ猫 さんを講師として招いて、形式手法の一つであるAlloyのハンズオンを開催しました。 ピクシブ株式会社様にてモデル検査…