Software Engineering @ Bauhaus-Universität Weimar
Software Enginerring group at Bauhaus-Universität Weimar
Pinned Loading
Repositories
Showing 10 of 32 repositories
- fm4se-alloy-solving Public template
se-buw/fm4se-alloy-solving’s past year of commit activity - fm4se-featuremodels Public template
se-buw/fm4se-featuremodels’s past year of commit activity - fm4se-alloy-christmas Public template
se-buw/fm4se-alloy-christmas’s past year of commit activity - fm4se-ltl-modelchecking Public template
se-buw/fm4se-ltl-modelchecking’s past year of commit activity - fm4se-rbac Public template
se-buw/fm4se-rbac’s past year of commit activity - fm4se-alloy-sigs-checker Public template
A template for checking simple checks of Alloy modules using the Alloy 6 APIs.
se-buw/fm4se-alloy-sigs-checker’s past year of commit activity - fm4se-smtsolving Public template
se-buw/fm4se-smtsolving’s past year of commit activity - fm4se-java-smt-pc-config Public template
se-buw/fm4se-java-smt-pc-config’s past year of commit activity - fm4se-satsolving Public template
se-buw/fm4se-satsolving’s past year of commit activity