Search Results for "rodin"
Sort By:
Showing 7 open source projects for "rodin"
View related business solutions-
Auth0 for AI Agents now in GAConnect your AI agents to apps and data more securely, give users control over the actions AI agents can perform and the data they can access, and enable human confirmation for critical agent actions.
-
G-P - Global EOR SolutionWith G-P's industry-leading Employer of Record (EOR) and Contractor solutions, you can hire, onboard and manage teams in 180+ countries — quickly and compliantly — without setting up entities.
-
1
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.
-
2
EventB2SQL
Generate Java and PHP database apps from abstract Event-B models.
EventB2SQL is a Rodin plugin for generating database applications from abstract Event-B models. EventB2SQL generates code for four types of applications: * Java with MySQL backend (JDBC) * Java with SQLite backend (JDBC) * Java for Android with native SQLite backend * PHP with MySQL backend (PDO) EventB2SQL can translate abstract Event-B models that use features such as: * enumerated sets * variables of set and relation types * simultaneous assignment * set comprehensions * quantified assertions See the wiki for installation instructions and brief usage examples. -
3
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. -
4
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) -
Say goodbye to broken revenue funnels and poor customer experiencesLeanData is a Demand Management solution that supports all go-to-market strategies such as account-based sales development, geo-based territories, and more. LeanData features a visual, intuitive workflow native to Salesforce that enables users to view their entire lead flow in one interface. LeanData allows users to access the drag-and-drop feature to route their leads. LeanData also features an algorithms match that uses multiple fields in Salesforce.
-
5
VanGogh is our vision of a maximal flexible Content Management System (CMS). VanGogh was originally based on Rodin 1.4.6 (http://rodin.lot23.com/) but has quickly moved its focus to a more flexible design yet staying as lightweight as possible.
-
6
Rodin (Relational Object Dbms Implementing java binding in a Not-proprietary way) is a free implementation of Matisse, the proprietary object database. This project is still in early stage of developpement.
-
7
- Previous
- You're on page 1
- Next
