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

You Might Also Like
Contractor Foreman is the most affordable all-in-one construction management software for contractors and is trusted by contractors in more than 75 countries. Icon
Contractor Foreman is the most affordable all-in-one construction management software for contractors and is trusted by contractors in more than 75 countries.

For Residential, Commercial and Public Works Contractors

Starting at $49/m for the WHOLE company, Contractor Foreman is the most affordable all-in-one construction management system for contractors. Our customers in 75+ countries and industry awards back it up. And it's all backed by a 100 day guarantee.
Learn More
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
Report inappropriate content