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
BMaude is a verification tool for B specifications written in the Abstract Machine Notation. The tool is implemented in the Maude language.
Shell