GitHub repository: se-buw/fm-playground
Primary language: TypeScript
Description: A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra