@albert_swart @jasonbaldridge a friend of mine works on automated validation. They do a lot of "model checking" ;)