WWW-Link List Computer

last update: 18 Apr 2009

• Spin
  AT&T bell研究所で開発されたプロトコル検証言語Promelaとその処理系spinに関するページです。

  Spin - Formal Verification

• PEP
  PEPはペトリネットをベースとするプログラム検証ツールです。Spin,SMVなどへのインタフェースを持っています。

  PEP Homepage

• SMV
  CMUのSMV (Symbolic Model Verifier)のページです。

  The SMV Systema

  CMU-SCS Model Checking Code Available

• Design/CPN
  デンマークのAarhus大学で開発されたカラーペトリネットの作成・実行・解析ツールです。

  Design/CPN

  Design/CPN Onlinea

• ProofPower
  

  The ProofPower Web Pages

3.2 数学

数式処理など、数学関係のツールです。

• SACLIB

• Singular

• JACAL

• SAML

• Mathematica

3.3 最適化

Optimization Softwares

home |index |previous