Search Results for "ntcckmc"

x
Sort By:

Showing 1 open source project for "ntcckmc"

View related business solutions
  • Total Network Visibility for Network Engineers and IT Managers Icon
    Total Network Visibility for Network Engineers and IT Managers

    Network monitoring and troubleshooting is hard. TotalView makes it easy.

    This means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
    Learn More
  • Automated RMM Tools | RMM Software Icon
    Automated RMM Tools | RMM Software

    Proactively monitor, manage, and support client networks with ConnectWise Automate

    Out-of-the-box scripts. Around-the-clock monitoring. Unmatched automation capabilities. Start doing more with less and exceed service delivery expectations.
    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