Sherlock4Py

🔎🐛 Sherlock4Py 🐍 MaxSAT-Based Misbehaviour Verification and Localisation Framework for Python Sherlock4Py is a research project investigating how formal reasoning and Large …

Pedro Orvalho

• Apr 1, 2026 • 7 min read