Pthread Model Checker
You can purchase the license of Pthread Model Checker as follows.
- Please check the system requirements.
- Please use the evaluation version of Pthread Model Checker on your environment and check that it properly functions before purchasing the license.
- 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.
- The payment can be done by PayPal only. If you don't know PayPal, please visit https://www.paypal.com/.
- 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 ||4||Unlimied|
|Available Memory Size||Unlimited||Unlimied|
|Commercial Use||Not permitted||Permitted|
|One-year License (without tax)||6,000 JPY||90,000 JPY|