1 paper · 1 filter
Allison Sullivan
Finite model finders give users the ability to specify properties of a system in mathematical logic and then automatically find concrete examples, called solutions, that satisfy th…