ntccKMC

ntccKMC: A Kripke-structure-based linear-time-logic model checker for the Non-deterministic Timed Concurrent Constraint Programming (ntcc) calculus.

Inspired by Jaime Arias' Python implementation and algorithms and Avispa's ntcc interpreter

Developed by Mauricio Toro under Colciencia's React+ of the Avispa research group.

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3)

Follow ntccKMC

ntccKMC Web Site

Other Useful Business Software

Polygon Software | Apparel Software | PLM and ERP Solutions

Small to mid-sized sewn goods manufacturers and textile mills.

PolyPM is an integrated enterprise resource planning (ERP) and product lifecycle management (PLM) solution developed by Polygon Software. Built for small to medium-sized apparel manufacturers, PolyPM enables businesses to integrate all aspects of the product development, supply chain and production processes, as well as instantly access all their style and manufacturing information anywhere in the world. This allows businesses to shorten time-to-market, incur lower development costs, and improve customer service and worker productivity.

Learn More

Rate This Project

User Reviews

Be the first to post a review of ntccKMC!

Additional Project Details

Operating Systems

Linux, Mac, Windows

Intended Audience

Science/Research

Registered

2012-12-07

Similar Business Software

Lockbox LIMS

A sample tracking, test result capture, and inventory management cloud LIMS for life science research, biotech/NGS, and industrial QC labs. Includes regulatory support for CLIA, HIPAA, Part 11, and ISO 17025. Nothing is more critical to a lab’s success than the quality, security, and...

See Software
QBench

The modern, flexible, easy-to-use LIMS. QBench enables our customers to get a LIMS up and running faster. Automate your entire lab with our developer-friendly API, Inventory Management, Customer Portal, Billing, and Quality Management System modules. QBench is a cloud-based Laboratory...

See Software
SAP S/4HANA Cloud Public Edition

SAP Cloud ERP is the premier ERP solution for growth-focused organizations. Seamlessly integrating AI, and predictive analytics, it empowers businesses to digitally transform and streamline processes end to end. Leveraging built-in industry best practices, SAP Cloud ERP accelerates...

See Software
Qualio

Qualio is the leading quality and compliance platform built exclusively for emerging life sciences companies. MedTech, pharma, biotech, and diagnostics teams use Qualio to standardize quality processes, connect them to regulatory obligations, and gain real-time visibility into compliance...

See Software
RegDesk

RegDesk is a Regulatory Information Management System (RIMS) that helps medical device companies manage global regulatory submissions, product registrations, and compliance in one centralized platform. It streamlines regulatory workflows, organizes regulatory data, and provides global regulatory...

See Software
Calira

Calira is the world-leading lab management system helping all types of laboratories optimize their operations and accelerate results. Calira equips research teams with an easy-to-use software solution which enables them to coordinate equipment usage, plan maintenance activities, and generate...

See Software