systerel/S2OPC

Mirror repository for open-source OPC-UA Toolkit designed with security and embedded devices in mind. Main repository is on gitlab:

Language: C - Size: 401 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 19 - Forks: 4

pkoerner/lisb

Language: Clojure - Size: 919 KB - Last synced at: 26 days ago - Pushed at: 2 months ago - Stars: 5 - Forks: 2

pkoerner/eventb2b

Uses lisb to transform an Event-B machine to a B machine. Very experimental.

Language: Clojure - Size: 8.79 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

dantasl/ruler-of-the-seas-game

Ruler of the Seas is a simulation of a competitive multiplayer table top game. This repository contains the Abstract Machines, Refinements and Implementation of the game.

Language: C - Size: 85 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

hhu-stups/alloy2b

(READ ONLY MIRROR) Parser for our Translation from Alloy to B

Language: Prolog - Size: 5.9 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

Joshua27/ProBramSynthesis

Program Synthesis for B in ProB

Language: Java - Size: 62.5 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

Joshua27/BSynthesis

Repair and Generation of Formal Models Using Synthesis (User Interface)

Language: Java - Size: 396 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

eltonvs/uno-b

A formally specified UNO game using B-Method

Language: C - Size: 34.2 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0

sylvainv/b-method-nasa-safer

NASA’s SAFER using B-Method

Language: C - Size: 43 KB - Last synced at: almost 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

nujitha99/ArcadeGame

B specification of a Spaceship & Asteroids Game, using the B tools Atelier B & ProB.

Language: Nextflow - Size: 26.4 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ChristianoBraga/BMaude

BMaude is a verification tool for B specifications written in the Abstract Machine Notation. The tool is implemented in the Maude language.

Language: Shell - Size: 3.8 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 1

Cselwood/PaperRoundBMachine

A short single-file program detailing a newspaper delivery route using B-Method and formal specification!

Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

bivab/prob.vim

Show B parse and type errors in vim

Language: Vim script - Size: 12.7 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

Japillow/B-method-Project

Language: Nextflow - Size: 59.6 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0