Complexity of Synthesizing Inductive Assertions
Journal of the ACM (JACM)
Communications of the ACM
Predicate abstraction for software verification
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Inference rules for program annotation
ICSE '78 Proceedings of the 3rd international conference on Software engineering
A synthesizer of inductive assertions
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Hi-index | 0.02 |