International Conference on Computer Aided Verification (CAV)

View Statistics Email Alert RSS Feed

Description

Event name
International Conference on Computer Aided Verification (CAV)
 
Event type
Event for scientific audience
 
Start date
13-07-2013
End date
19-07-2013
 
Location
Sankt Petersburg, Russland
Country
Russian Federation
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Treffer 1-5 von 5 (Suchzeit: 0.001 Sekunden).

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