極端流VDMチャンネル
第4回 - 番外編：ダイナブック
が公開されました。
youtu.be/E8B5rKurxHA
#VDM #FormalMethods #ViennaTalk #Dynabook

極端流VDMチャンネル
第3回 - VDM-SLチョットデキル
youtu.be/LCigMB8rRAY?...
を公開しました。
#FormalMethods #VDM #ViennaTalk

極端流VDMチャンネル
第2回 - ViennaTalk をインストールしよう
www.youtube.com/watch?v=StFh...
を公開しました。
#FormalMethods #VDM #ViennaTalk

極端流VDMチャンネル 仕様記述言語VDM-SLに関する話題をお送りします。 このチャンネルでは、形式手法に入門していないプログラマを対象に、実行可能な仕様記述言語としてのVDM-SLを平易に紹介しながら、気軽にVDM-SLを始めるための情報を提供していきます。

I'm launching a VDM tutorial series on YouTube. The texts and audio are in Japanese, but you can use YouTube's auto-translated subtitles to follow along. Enjoy!

The Extreme VDM Channel Ep.1: Let's implement a Counter in VDM
www.youtube.com/@%E6%A5%B5%E...
#FormalMethods #VDM #VDM-SL #ViennaTalk

極端流VDMチャンネル 仕様記述言語VDM-SLに関する話題をお送りします。 このチャンネルでは、形式手法に入門していないプログラマを対象に、実行可能な仕様記述言語としてのVDM-SLを平易に紹介しながら、気軽にVDM-SLを始めるための情報を提供していきます。

YouTubeでVDMの解説を始めました。
極端流VDMチャンネル　第1話：VDMでカウンターを書いてみよう
www.youtube.com/@%E6%A5%B5%E...
#VDM #FormalMethods #VDM-SL #ViennaTalk