CAV2025

CAV (International Conference on Computer Aided Verification) の正式名は、ハードウェアおよびソフトウェア システムのコンピュータ支援形式解析手法の理論と実践の促進を目的とした一連の会議の 37 回目です。このセッションでは、実践的な検証ツールとその実装に必要なアルゴリズムとテクニックに焦点を当て、理論的な結果から具体的なアプリケーションまですべてを取り上げました。 CAV は、機械学習、自律システム、コンピューター セキュリティなどの新しい分野に拡大しながら、ハードウェアとソフトウェアの検証を継続的に進めることが重要であると考えています。会議の議事録は、Springer-Verlag Computer Science 講義ノート シリーズとして公開されます。 「Formal Methods in System Design」特集号および「ACM Journal」に掲載されるよういくつかの論文が招待される予定です。