Sherlock4Py
🔎🐛 Sherlock4Py 🐍 MaxSAT-Based Misbehaviour Verification and Localisation Framework for Python Sherlock4Py is a research project investigating how formal reasoning and Large …
🎉 MSCA Postdoctoral Fellowship Awarded @ IIIA-CSIC 🎉
Awarded a Marie Skłodowska-Curie Actions (MSCA) Postdoctoral Fellowship for the project Sherlock4Py.