Skip to main content

How Vacuous Is Vacuous?

Arie Gurfinkel, Marsha Chechik

DOI 10.1007/978-3-540-24730-2_34 dblp BibTeX

No abstract available.

Related papers

Synthesizing Non-Vacuous Systems VMCAI 2017
Specification synthesis with constrained Horn clauses PLDI 2021
What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority POPL 1985