Formal Methods for Software Engineering

Verified
We've verified that the organization fm4se controls the domains:
- www.formal-methods.net
- formal-methods.net
Learn more about verified organizations

Pinned Loading

fm-playground fm-playground Public

A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...

TypeScript 19 8
exercises exercises Public

All the exersice from Formal Methods for Software Engineering course @ Bauhaus University Weimar

1

Type Language Sort

fm-playground Public
A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...

fm4se/fm-playground's past year of commit activity

TypeScript 19 MIT 8 0 1 Updated Aug 5, 2026
exercises Public
All the exersice from Formal Methods for Software Engineering course @ Bauhaus University Weimar

fm4se/exercises's past year of commit activity

1 Apache-2.0 0 0 0 Updated Dec 8, 2025
fm4se-25-26-ex2-feature-model-fm4se-featuremodels Public
fm4se-25-26-ex2-feature-model-fm4se-featuremodels created by GitHub Classroom

fm4se/fm4se-25-26-ex2-feature-model-fm4se-featuremodels's past year of commit activity

Java 0 Apache-2.0 2 0 0 Updated Oct 28, 2025
fm4se-25-fm-Silimbiba Public Forked from fm4se/fm4se-25-26-ex2-feature-model-fm4se-featuremodels
fm4se-25-26-ex2-feature-model-fm4se-featuremodels created by GitHub Classroom

fm4se/fm4se-25-fm-Silimbiba's past year of commit activity

Java 0 Apache-2.0 2 0 0 Updated Oct 28, 2025
fm4se.github.io Public
website

fm4se/fm4se.github.io's past year of commit activity

HTML 0 MIT 0 0 0 Updated Sep 22, 2025
website-theme Public Forked from HugoBlox/kit

fm4se/website-theme's past year of commit activity

HTML 0 MIT 2,983 0 0 Updated Sep 11, 2025
fm4se-satsolving Public template Forked from se-buw/fm4se-satsolving

fm4se/fm4se-satsolving's past year of commit activity

Java 0 Apache-2.0 1 0 0 Updated Oct 21, 2024

Loading…

Loading…