?
Programming Languages and Systems; Lecture Notes in Computer Science ,
1
Maximal Quantified Precondition Synthesis for Linear Array ..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
2
Weakest Precondition Inference for Non-Deterministic Linear..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
3
Solving Constrained Horn Clauses over Algebraic Data Types:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
4
Lockstep Composition for Unbalanced Loops:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
5
Maximizing Branch Coverage with Constrained Horn Clauses:
, In:
?
2022 Formal Methods in Computer-Aided Design (FMCAD) ,
6
Split Transition Power Abstraction for Unbounded Safety:
, In:
?
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
7
Multi-phase invariant synthesis:
, In:
?
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering ,
8
Horntinuum: Autonomous Testing using Constrained Horn Claus..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
9
Transition Power Abstractions for Deep Counterexample Detec..:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
11
Beyond the elementary representations of program invariants..:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
12
Unbounded Procedure Summaries from Bounded Environments:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
13
Bridging Arrays and ADTs in Recursive Proofs:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
14
Specification synthesis with constrained Horn clauses:
, In:
?
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering ,
15