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

Bibliographic Information

Other Title
  • CSP-Prover — スケーラブルな並行システムの検証のための証明器

Search this article

Journal

  • Computer Software

    Computer Software 25 (4), 85-92, 2008

    Japan Society for Software Science and Technology

References(17)*help

See more

Related Projects

See more

Details 詳細情報について

Report a problem

Back to top