Search Results for "ntcckmc"

x
Sort By:

Showing 1 open source project for "ntcckmc"

View related business solutions
Scientific/Engineering Mac Clear Filters & Widen Search
  • Solve workplace parking problems Icon
    Solve workplace parking problems

    The parking management platform for businesses, enterprises and property managers

    Employee and tenant parking that’s fair, simple, and stress-free. With future booking and spot sharing, parking is easy and equitable.
    Learn More
  • The all-in-one software to manage your HOA Icon
    The all-in-one software to manage your HOA

    PayHOA is association management software for HOAs, COAs, and any community looking for robust, easy-to-use, affordable software

    PayHOA is modern software for self-managed communities. Trusted by more than 11,000 associations, PayHOA automates operations, so you can focus on what's important. We provide free onboarding, free unlimited support, a 30-day free trial, and no contracts. Claim your free trial and see why HOAs across the country are choosing PayHOA.
    Learn More
  • 1
    ntccKMC

    ntccKMC

    ntccKMC: A Kripke-structure-based model checker for ntcc

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories