Bounded verification of UML/OCL (or EMF/OCL) models
☆17Jun 13, 2018Updated 8 years ago
Alternatives and similar repositories for EMFtoCSP
Users that are interested in EMFtoCSP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆25Dec 29, 2016Updated 9 years ago
- EMF as RESTFul APIs☆42Aug 1, 2018Updated 8 years ago
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 4 years ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆25Dec 16, 2022Updated 3 years ago
- Multi-backend EMF persistence framework.☆57Oct 24, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- EMFText is an Eclipse plug-in that allows you to define text syntax for languages described by an Ecore metamodel. EMFText enables develo…☆18Jun 2, 2019Updated 7 years ago
- The Library Training Material (Incoming Eclipse Papyrus Photon Year 2018-2019)☆11Oct 27, 2018Updated 8 years ago
- Label analysis of GitHub projects☆17Oct 9, 2019Updated 7 years ago
- Online service for analyzing research profiles of scientists and conferences☆14Oct 28, 2022Updated 4 years ago
- Code generation scripts from UML (class diagrams) to SQL, PHP / Symfony and Python / Django (so far)☆24Mar 22, 2016Updated 10 years ago
- An OpenAPI round-trip tool that leverages model-driven techniques to create, visualize, manage, and generate OpenAPI definitions.☆72Dec 16, 2021Updated 4 years ago
- this repository provide examples to embed Xtext in Sirius diagram editors.☆20Sep 23, 2018Updated 8 years ago
- The OpenAPI metamodel☆17Oct 10, 2021Updated 5 years ago
- ☆40Oct 11, 2026Updated 2 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Tutorial: Building a language server for your DSL with Xtext☆27Jul 15, 2023Updated 3 years ago
- JaMoPP can parse Java source and byte code into EMF-based models and vice versa. It preserves source formatting and can be used for code …☆25Mar 18, 2026Updated 7 months ago
- An embedding of Alloy in Ruby☆20Apr 9, 2014Updated 12 years ago
- B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…☆27Oct 22, 2026Updated last week
- APIDiscoverer☆25Jul 10, 2019Updated 7 years ago
- Home of the UML-based Specification Environment (USE)☆83Oct 20, 2026Updated last week
- This project aims to promote the MultiAgent Programming (MAP) approach by providing a suitable integration of tools and languages for pro…☆18Oct 16, 2026Updated last week
- EMF Binding for RDF☆25Jan 17, 2016Updated 10 years ago
- Through RL training, stimulate the reflective capabilities of the prover model.☆12Apr 17, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- a book about declarative language definition☆25Mar 31, 2016Updated 10 years ago
- Repositório para guia de referência em git☆10Aug 18, 2018Updated 8 years ago
- DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.☆19Mar 9, 2016Updated 10 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- ☆10Oct 28, 2020Updated 6 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Mar 11, 2022Updated 4 years ago
- Some things I would like to see added to Xtext☆16Feb 11, 2015Updated 11 years ago
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆27Sep 16, 2026Updated last month
- ☆21Dec 7, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Open-source implementation of the Action Language for fUML (Alf) specification.☆33Mar 28, 2023Updated 3 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- An unofficial Yale-University-branded theme for LaTeX Beamer.☆10Jun 16, 2019Updated 7 years ago
- An example that demonstrates how to write Python libraries in OCaml using pyml and pythonlib.☆16Feb 15, 2023Updated 3 years ago
- Benchmark for evaluating Coq proof search tools.☆12Apr 27, 2026Updated 6 months ago
- A simple Gradle plugin to render PlantUML files☆10Nov 6, 2023Updated 2 years ago
- ANTLR Grammar Parsing Service☆13Mar 3, 2018Updated 8 years ago