東京都江東区富岡二丁目9番11号 京福ビル5階
VeriFast はシングルスレッドやマルチスレッドのC言語プログラムの性質が正しいことを検証するプログラム検証ツールです。 このツールはC言語プログラムを読み、「エラーが見つからなかった」とレポートするかエラーの可能性がある位置を示します。もしこのツールが「エラーが見つからなかった」とレポートしたなら、そのプログラムは次のようであることを意味しています:
本勉強会は、VeriFastに入門することを目的とした VeriFastチュートリアル(翻訳) の読書会です。勉強会ではこの文書を頭から読み進めます。
https://people.cs.kuleuven.be/~bart.jacobs/verifast/ からお使いのOSに対応したVeriFastをダウンロードし、インストールしておいてください。また vfide
コマンドを使ってVeriFast IDEが起動することを確認してください。
もしどうしてもVeriFastのインストールができなかった方は、そのまま勉強会に参加してください。会場で簡単にインストール方法を説明します。
初回である今回は、勉強会の発起人である 岡部 がこの勉強会の趣旨説明と、VeriFastチュートリアルの日本語訳を1章から朗読します。以下のようなスケジュールを予定しています。
会場では無線LANを利用できる予定です。
本ページは http://metasepi.connpass.com/ に移動しました。 モノのインターネット(IoT) は一意に識別可能な「もの」がインターネット/クラウドに接続され、情報交換することにより相互に制御する仕組みです。IoTデバイスは: インターネットに接続されます 短期間で開発/リリースされます 個人情報を取り扱います セキュリティに配慮する必要があります 従来の機器...
メンバーになる