International Conference on Computer Aided Verification (CAV)

Event name

Start date

13-07-2013

End date

19-07-2013

Location

Sankt Petersburg, Russland

Country

Event format Veranstaltungsformat

On Site

Results 1-7 of 7 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

	Authors / Editors	Title	Type	Issue Date
1	Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut	A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis	Konferenzbeitrag Inproceedings	2014
2	Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian	ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures	Konferenzbeitrag Inproceedings	2022
3	Birgmeier, Johannes ; Bradley, Aaron R. ; Weissenbacher, Georg	Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)	Konferenzbeitrag Inproceedings	2014
4	Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian	Empirical Software Metrics for Benchmarking of Verification Tools	Konferenzbeitrag Inproceedings	2015
5	Slivovsky, Friedrich	Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing	Konferenzbeitrag Inproceedings	2020
6	Konnov, Igor ; Veith, Helmut ; Widder, Josef	SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms	Konferenzbeitrag Inproceedings	2015
7	Kroening, Daniel ; Lewis, Matt ; Weissenbacher, Georg	Under-Approximating Loops in C Programs for Fast Counterexample Detection	Konferenzbeitrag Inproceedings	2013