https://soaib.me/tags/phd/Recent content in PhD on SoaibuzzamanHugoen-USThu, 02 Oct 2025 00:00:00 +0000https://soaib.me/posts/nfdixcs-summer-school-2025/Thu, 02 Oct 2025 00:00:00 +0000https://soaib.me/posts/nfdixcs-summer-school-2025/<p>This page provides information and resources related to our participation in the <a href="https://nfdixcs.org/event/nfdixcs-summerschool" target="_blank" rel="noopener noreferrer">NFDIxCS Summer School 2025</a> .</p> <h2 id="resources">Resources</h2> <p><em>Formal Methods Playground</em></p> <ul> <li><a href="https://play.formal-methods.net" target="_blank" rel="noopener noreferrer">Playground</a> </li> <li><a href="https://github.com/fm4se/fm-playground" target="_blank" rel="noopener noreferrer">GitHub Repository</a> </li> </ul> <p><em>Paper</em></p> <ul> <li><a href="https://soaib.me/publications/2025-smt/">On Writing SMT-LIB Scripts: Metrics and a New Dataset</a> </li> <li><a href="https://soaib.me/publications/2025-abz/">On Writing Alloy Models: Metrics and a New Dataset</a> </li> </ul> <p><em>Dataset</em></p> <ul> <li><a href="https://zenodo.org/records/15488371" target="_blank" rel="noopener noreferrer">Formal Methods Playground SMT-LIB Dataset</a> </li> <li><a href="https://zenodo.org/records/15619393" target="_blank" rel="noopener noreferrer">Formal Methods Playground Alloy Dataset</a> </li> </ul> <p><em>Code</em></p> <ul> <li>Artifacts for SMT-LIB paper: <a href="https://github.com/se-buw/smt-metrics" target="_blank" rel="noopener noreferrer">GitHub Repository</a> </li> <li>Artifacts for Alloy paper: <a href="https://github.com/se-buw/alloy-metrics" target="_blank" rel="noopener noreferrer">GitHub Repository</a> </li> </ul> <p><em>Poster</em></p>