The ntcc bounded-time model checker allow you to check if constraint linear time (CLTL) formulae satisfy a Non-deterministic Times Concurrent Constraint (ntcc) processes. Try it!

Project Activity

See All Activity >

Categories

Mathematics

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow The ntcc bounded-time Model Checker

The ntcc bounded-time Model Checker Web Site

Other Useful Business Software
Free and Open Source HR Software Icon
Free and Open Source HR Software

OrangeHRM provides a world-class HRIS experience and offers everything you and your team need to be that HR hero you know that you are.

Give your HR team the tools they need to streamline administrative tasks, support employees, and make informed decisions with the OrangeHRM free and open source HR software.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of The ntcc bounded-time Model Checker!

Additional Project Details

Registered

2012-01-20