b-method

There are 1 repository under b-method topic.

• systerel / S2OPC

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

  opc-uab-methodsecuritysafety-critical
  Language:C 20

• pkoerner / lisb

  b-methoddslembeddingevent-bformal-methodsmodel-transformationstooling
  Language:Clojure 5

• bivab / prob.vim

  Show B parse and type errors in vim

  probvim-pluginsb-method
  Language:Vim Script 3

• ChristianoBraga / BMaude

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

  verificationmaude-languageb-method
  Language:Shell 2

• eltonvs / uno-b

  A formally specified UNO game using B-Method

  b-methodformal-methodsformal-specification
  Language:C 2

• hhu-stups / alloy2b

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

  alloyb-methodtranslation
  Language:Prolog 2

• Joshua27 / ProBramSynthesis

  Program Synthesis for B in ProB

  program-synthesisb-methodinductive-program-synthesisprogramming-by-example
  Language:Java 2

• Cselwood / PaperRoundBMachine

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

  b-method
  1

• pkoerner / eventb2b

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

  b-methodevent-bformal-methodstranslation
  Language:Clojure 1

• Japillow / B-method-Project

  b-methodc
  Language:Nextflow 0

• Joshua27 / BSynthesis

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

  model-repairprogram-synthesisb-methodmodel-checkingformal-modelsprob
  Language:Java 0

• sylvainv / b-method-nasa-safer

  NASA’s SAFER using B-Method

  nasadissertationsaferspacewalkb-method
  Language:C 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.

  b-methodformal-methodsformal-specificationgametabletop-simulator
  Language:C

• nujitha99 / ArcadeGame

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

  bb-methodreasoning-machine
  Language:Nextflow