vcc. VCCは、同時Cプログラムのための機械的検証者です。
今すぐダウンロード

vcc. ランキングとまとめ

vcc. タグ

視聴者 確認する AppConfig ベリファイアー ベリファイア CD Verifier URL Verifier ファイル検証者 SFV検証者 スピード検証 ボット検証者 無料の失活検証 メール検証者 サーバー検証者 接続検証者 ウェブサイト検証者 ハニーポット検証者 Webページ検証者 コード検証者 モデルビューア ネットワーク検証者 ActiveSync Verifier スペル検証者 データ検証 機械的な問題 地元の映画館検証者 チェックサム検証者 エピソード検証者 バージョン検証者 同時辞書 同時ライブラリ 同時 MD5検証 ハッシュコード検証者 CRC Verifier 整合性検証者 ディスク検証者 MD5SUM VERIFIER アプリケーション検証者 稼働時間検証 システム検証者 co リンク検証者 テキスト検証者 ストリーム整合性検証者 フラッシュ検証者 メディストリーム検証者 SHA-1検証 UPnP Verifier ビットレート検証者 Uantumの機械的シミュレーション PDF検証者 ヘッダー検証者 安定性検証者 Java ベリファイア ユースケース検証者 活動検証者 IMAP検証 アカウント検証者 接続検証 更新検証者 機械的ソフトウェア 機械的な C++ クラス検証ツール ハッシュ検証者 組み立て検証者 制御検証者 同時ライブラリツール 同時ライブラリを学ぶ WPF制御検証者 単語検証者 スペル検証者 同時テストライブラリ 機械科学計算 複数の同時活動 機械的検証者 プログラムを確認してください 前提条件検証者 Webアプリケーション検証者 PE Verifier 前提条件の検証 インストール検証者 同時プロセス ロボットの武器機械の年齢 電子メール検証者 機械計算

vcc. 説明

VCCは、同時Cプログラムのための機械的検証者です。 VCCは、関数の仕様、データ不変式、ループ不変式、およびゴーストコードで注釈を付けるCプログラムを取り、これらの注釈を正しく証明しようとします。 成功した場合、VCCはあなたのプログラムが実際にその仕様を満たすと約束します。 あなたの経験を共有する： このプログラムについてレビューを書く

vcc. 関連ソフトウェア