C言語検証器 #VeriFast 入門 第0回に申し込みました! #fpiot #jverifast https://fpiot.doorkeeper.jp/events/46018 @metasepiさんから