International Conference on Computer Aided Verification (CAV)

Event name

Event type

Event for scientific audience

Start date

01-01-2014

End date

01-01-2014

Location

Sankt Petersburg

Country

Russian Federation

Event format Veranstaltungsformat

On Site

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

RIS EndNote Bibtex

	Author(s)	Title	Type	Issue Date
1	Birgmeier, Johannes ; Bradley, Aaron R. ; Weissenbacher, Georg	Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)	Konferenzbeitrag Inproceedings	2014
2	Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian	Empirical Software Metrics for Benchmarking of Verification Tools	Konferenzbeitrag Inproceedings	1-Jan-2015
3	Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut	A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis	Konferenzbeitrag Inproceedings	2014
4	Konnov, Igor ; Veith, Helmut ; Widder, Josef	SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms	Konferenzbeitrag Inproceedings	2015
5	Kroening, Daniel ; Lewis, Matt ; Weissenbacher, Georg	Under-Approximating Loops in C Programs for Fast Counterexample Detection	Konferenzbeitrag Inproceedings	2013