Ï
News | FM4SE
FM4SE
FM4SE
FM Playground
Lecture
News
Light
Dark
Automatic
News
New Dataset and Metrics for Analyzing SMT-LIB Scripts
Satisfiability Modulo Theory (SMT) checking is concerned with checking the satisfiability of first-order formulas with respect to some …
Soaibuzzaman
,
Jan Oliver Ringert
Aug 10, 2025
PDF
Code
Slides
New Dataset and Metrics for Analyzing Alloy Models
Alloy is a modeling language that combines relational first-order logic and temporal logic while providing powerful automated analyses …
Soaibuzzaman
,
Salar Kalantari
,
Jan Oliver Ringert
Jun 10, 2025
PDF
Code
Slides
FMTea Expo 2024
Sep 5, 2024
