Showing 3 open source projects for "rodin platform"

View related business solutions
  • All-in-One Payroll and HR Platform Icon
    All-in-One Payroll and HR Platform

    For small and mid-sized businesses that need a comprehensive payroll and HR solution with personalized support

    We design our technology to make workforce management easier. APS offers core HR, payroll, benefits administration, attendance, recruiting, employee onboarding, and more.
  • RMM Software | Remote Monitoring Platform and Tools Icon
    RMM Software | Remote Monitoring Platform and Tools

    Best-in-class automation, scalability, and single-pane IT management.

    Don’t settle when it comes to managing your clients’ IT infrastructure. Exceed their expectations with ConnectWise RMM, our MSP RMM software that provides proactive tools and NOC services—regardless of device environment. With the number of new vulnerabilities rising each year, smart patching procedures have never been more important. We automatically test and deploy patches when they are viable and restrict patches that are harmful. Get better protection for clients while you spend less time managing endpoints and more time growing your business. It’s tough to locate, afford, and retain quality talent. In fact, 81% of IT leaders say it’s hard to find the recruits they need. Add ConnectWise RMM, NOC services and get the expertise and problem resolution you need to become the advisor your clients demand—without adding headcount.
  • 1
    RODIN
    Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
    Leader badge
    Downloads: 2,325 This Week
    Last Update:
    See Project
  • 2

    Event-B Generic Instantiation

    A Rodin Platform Plug-in for Generic Instantiation

    Generic Instantiation tool is developed by HITACHI and ETHZ for Event-B as a Plug-in for RODIN platform. Main features of the tool are as follows: - Generic Instantiation Files for storing information about generic instantiation. - Wizard for creating generic instantiation files. - Editor for generic instantiation files. - Static checker for generic instantiation files. - Performing generic instantiation by creating a new project based on a source project and generic instantiation files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    LTL[e] model checker

    An LTL[e] model checker for EVENT-B model as Rodin plugins.

    An LTL[e] model checker for EVENT-B model as Rodin plugins. There are two algorithms for detecting accepting cycle: one is based on Nested Depth First Search (NDFS), another based on Strongly Connected Components (SCCs). Download Rodin platform from http://www.deploy-project.eu/ or eventb.org, then add this plugin for LTL[e] model checher for event-b model,(reqiures ProB library)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next