This is the organisation containing repositories related to the merc project, with the tool set and libraries themselves being located in the main merc repository.
The main goal of this project is to consolidate various model checking efforts into a set of (partly) language-agnostic set of libraries and tools written in the Rust programming language.
MERCorg
Pinned Loading
Repositories
Showing 7 of 7 repositories
- ltsinfo-artifact Public
The TACAS 2026 artifact for the paper "Faster Signature Refinement for Branching Bisimilarity Minimization"
MERCorg/ltsinfo-artifact’s past year of commit activity - vpg-artifact Public
The artifact for the journal paper "Family-Based Model Checking Using Variability Parity Games"
MERCorg/vpg-artifact’s past year of commit activity - .github Public
MERCorg/.github’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…