specification-language
There are 20 repositories under specification-language topic.
hoaproject/Praspel
The Hoa\Praspel library.
ClemsonRSRG/RESOLVE
RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
rozkminiacz/SpekBddDsl
Spek Behavior-Driven-Development extensions
LambdaAlpha/airlang_rs
The Air programming language is carefully designed to solve programming problems once and for all.
modsim/FluxML
A Universal Modeling Language for Metabolic Flux Analysis
LambdaAlpha/airlang
The Air programming language is carefully designed to solve programming problems once and for all.
git-afsantos/hpl-specs
High-Level Property Specification Language
dranidis/sdlspec
SDL process specification and simulation in Go (golang)
srhickma/padd
Fast and Automatic Formatting of Context-Free Languages
vinahradau/finma
Z/Alloy formal specification for client identifying data regulation for banks in Switzerland
diederikd/DeBrug
DeBrug is een Wets Simulatie Workbench die de brug vormt tussen de wet- en regelgeving en de dienstverlening.
diederikd/DemoWB
The Demo Workbench is a MPS implementation of the Design & Engineering Methodology for Organizations. It is a Workbench for creating DEMO models.
diederikd/ProjectAWS
MPS Project with the Amazons States Language
eyrafabdullayev/spring-data-jpa-querydsl
We're looking at building a query language for a REST API using Spring Data JPA and Querydsl
sinamoghtaderfar/Alloy-Analyzer
online exam and justice project
sirkibsirkib/seaso
Logic programming language used for controlled, incremental modelling of complex systems, motivated by its application to federated data exchange.
SuperSonicHub1/gorr-language
A toy specification language designed for my high school's senior capstone project.
diederikd/DeBrug2
Een vervolg op de Brug
io7m-com/cedarbridge
Cedarbridge message protocol specification language
STAR-RG/siesta
Repository with code and replication package for SIESTA, the Simple ImperativE SpecificaTion lAnguage, accepted for publication at ICST'2021