YouTube

自宅で熟成させている TLA+ の書籍の著者名でググったり YouTube の動画を探したりしているといくつか出てきました． その中で，Alloy も含めて形式手法の事例の紹介の動画が見つかったので，その動画の大本になっている "...