Grounded Language Design for Lightweight Diagramming for Formal Methods

Siddhartha Prasad, Ben Greenman, Tim Nelson +1

Model finding, as embodied by SAT solvers and similar tools, is used widely, both in embedding settings and as a tool in its own right. For instance, tools like Alloy target SAT to…