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 16

• bivab / prob.vim

  Show B parse and type errors in vim

  probvim-pluginsb-method
  Language:Vim Script 2

• 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

• 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

• nujitha99 / ArcadeGame

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

  bb-methodreasoning-machine
  Language:Nextflow