pascalpoizat / fbpmnLinks
formal tools for BPMN
☆35Updated last year
Alternatives and similar repositories for fbpmn
Users that are interested in fbpmn are comparing it to the libraries listed below
Sorting:
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Different TLA+ specifications, mostly for learning purposes☆32Updated last year
- The Ur/Web People Organizer☆30Updated last year
- ☆71Updated 5 years ago
- Kanren with databases☆43Updated 10 months ago
- TLA+ Foundation☆29Updated last week
- Proposed documentation for alloytools.org☆70Updated 7 months ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Python interpreter for TLA+ specifications☆112Updated last year
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 7 months ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- A TLA+ module for animating TLC traces.☆46Updated 6 months ago
- A web application server with built-in object capability security built on Node.js/Express☆15Updated 4 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Awesome datalog libraries, tools and resources☆61Updated 5 years ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- Alloy with browser-based visualizations☆29Updated 4 years ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- A compiler, testing bed, and standard library for the Choral programming language.☆29Updated 2 months ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 6 years ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 4 months ago
- ☆48Updated last month
- The rewrite of TLAPM, the TLAPS proof manager☆1Updated 5 years ago
- Prolog, Datalog, languages, resources, and beyond!☆31Updated 7 months ago
- The Pascal-F Verifier☆49Updated 7 years ago