# content
Verified Model-Based Conformance Testing for Dummies (via amw-zero) — discussion

#formalmethods #testing