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