ProductsAbout Us

Pthread Model Checker


You can purchase the license of Pthread Model Checker as follows.

  1. Please check the system requirements.
  2. Please use the evaluation version of Pthread Model Checker on your environment and check that it properly functions before purchasing the license.
  3. Please read carefully the End User License Agreement shown after selecting the edition. By purchasing the license of the software, you are agreeing to be bound by the terms of this license. If you do not agree to the terms of this license, do not purchase the license of the software.
  4. The payment can be done by PayPal only. If you don't know PayPal, please visit
  5. The license key will be sent via e-mail normally within 3 working days after the purchasing procedure is done.

Please select edition:

How many threads can be used in checking 4Unlimied
Available Memory SizeUnlimitedUnlimied
Commercial UseNot permittedPermitted
One-year License (without tax)6,000 JPY90,000 JPY