GitHub repository: ChristianoBraga/BMaude
Primary language: Shell
Created: 2018-02-07T14:12:39Z
Description: BMaude is a verification tool for B specifications written in the Abstract Machine Notation. The tool is implemented in the Maude language.