NFDIxCS Summer School 2025

This page provides information and resources related to our participation in the NFDIxCS Summer School 2025 .

Resources

Formal Methods Playground

• Playground
• GitHub Repository

Paper

• On Writing SMT-LIB Scripts: Metrics and a New Dataset
• On Writing Alloy Models: Metrics and a New Dataset

Dataset

• Formal Methods Playground SMT-LIB Dataset
• Formal Methods Playground Alloy Dataset

Code

• Artifacts for SMT-LIB paper: GitHub Repository
• Artifacts for Alloy paper: GitHub Repository

Poster

• Poster PDF