ChristianoBraga/BMaude
BMaude is a verification tool for B specifications written in the Abstract Machine Notation. The tool is implemented in the Maude language.
Shell
No issues in this repository yet.
BMaude is a verification tool for B specifications written in the Abstract Machine Notation. The tool is implemented in the Maude language.
Shell
No issues in this repository yet.