CSP-Prover — a Proof Tool for the Verification of Scalable Concurrent Systems

スポンサーリンク

概要

• 論文の詳細を見る
• Information and Media Technologies 編集運営会議の論文

著者

• ISOBE Yoshinao

  National Institute of Advanced Industrial Science and Technology

• Roggenbach Markus

  Swansea University

関連論文

• Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture
• Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture
• CSP-Prover — a Proof Tool for the Verification of Scalable Concurrent Systems

スポンサーリンク