Pinned Repositories
beem-benchmark
The BEEM model-checking benchmark from http://paradise.fi.muni.cz/beem/
dve-language
obp2-devel
obp2-divine-bridge
obp2-hash
obp2-runtime-lregexp
An SLI for regular expressions
plug-obp.github.io
Pages for plug-obp
plug-packaging
Packaging for plug
plug-runtime-remote
z2mc-js
Pluggable OBP's Repositories
plug-obp/z2mc-js
plug-obp/beem-benchmark
The BEEM model-checking benchmark from http://paradise.fi.muni.cz/beem/
plug-obp/derre-lean4
plug-obp/dve-language
plug-obp/obp2-devel
plug-obp/obp2-divine-bridge
plug-obp/obp2-hash
plug-obp/obp2-runtime-lregexp
An SLI for regular expressions
plug-obp/plug-fpga
plug-obp/plug-obp.github.io
Pages for plug-obp
plug-obp/plug-packaging
Packaging for plug
plug-obp/plug-remote-c
plug-obp/plug-runtime-lstate_event
an explicit state-space language with state and events
plug-obp/plug-runtime-remote
plug-obp/gpsl-js
Generic Property Specification Language
plug-obp/obp2-java-inspector
plug-obp/obp2-runtime-lstring
An SLI for strings
plug-obp/obp2_graph_algorithms
A collection of graph algorithms in dart.
plug-obp/obp2_runtime_dart
plug-obp/plug-bpmn2-examples
some simple BPMN2 examples
plug-obp/plug-bpmn2-semantics
BPMN2 operational semantics
plug-obp/plug-collections
plug-obp/plug-plugin
Gradle plugin for plug development
plug-obp/plug-remote-java
plug-obp/plug-remote-python
plug-obp/rege-js
plug-obp/soup-js
Soup Language in Javascript
plug-obp/z2mc-soup-gpsl
plug-obp/z2mc-soup-rege-js
plug-obp/z2mc-soup-soup-js