Posts

2025-12-22

# Test, don't (just) verify

en [software engineering, testing, formal methods]

13 min read

2025-12-18

# Formal Metotlar ve Kanıtlı Programlama Hakkında

tr [software engineering, formal methods]

16 min read

2025-11-22

# Temporal Shrinking

en [software engineering, testing]

10 min read