A Aralex Aachen research explorer

June 11, 2012 conference-paper

Synthesizing software verifiers from proof rules

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

DOI: 10.1145/2254064.2254112 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 239

ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

5

citations

1 result

References 0