Computer Aided Verification

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Computer Aided Verification
 
Publisher Herausgeber
Springer / LNCS
 
Place of publishing Erscheinungsort
8044
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Bogomolov, Sergiy ; Frehse, Goran ; Grosu, Radu ; Ladan, Hamed ; Podelski, Andreas A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceExKonferenzbeitrag Inproceedings 2012
2Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity AnalysisKonferenzbeitrag Inproceedings 2014
3Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data StructuresKonferenzbeitrag Inproceedings 2022
4Damian, Andrei ; Drăgoi, Cezara ; Militaru, Alexandru ; Widder, Josef Communication-Closed Asynchronous ProtocolsKonferenzbeitrag Inproceedings 2019
5Birgmeier, Johannes ; Bradley, Aaron R. ; Weissenbacher, Georg Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR)Konferenzbeitrag Inproceedings2014
6Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian Empirical Software Metrics for Benchmarking of Verification ToolsKonferenzbeitrag Inproceedings 2015
7Kovács, Laura ; Voronkov, Andrei ; Sharygina, Natasha ; Veith, Helmut First-Order Theorem Proving and VampireKonferenzbeitrag Inproceedings2013
8Gishchenko, Ilya ; Maffei, Matteo ; Schneidewind, Clara ; Weissenbacher, Georg ; Chockler, Hana Foundations and Tools for the Static Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2018
9Grosu, Radu ; Batt, Gregory ; Fenton, Flavio H. ; Glimm, James ; Le Guernic, Colas ; Smolka, Scott A. ; Bartocci, Ezio From Cardiac Cells to Genetic Regulatory NetworksKonferenzbeitrag Inproceedings 2011
10Slivovsky, Friedrich Interpolation-Based Semantic Gate Extraction and Its Applications to QBF PreprocessingKonferenzbeitrag Inproceedings 2020
11Cyranka, Jacek ; Islam, Md. Ariful ; Byrne, Greg ; Jones, Paul ; Smolka, Scott A. ; Grosu, Radu Lagrangian ReachabililtyKonferenzbeitrag Inproceedings 2017
12Girol, Guillaume ; Farinier, Benjamin ; Bardin, Sébastien Not All Bugs Are Created Equal, But Robust Reachability Can Tell the DifferenceKonferenzbeitrag Inproceedings 2021
13Selyunin, Konstantin ; Jaksic, Stefan ; Nguyen, Thang ; Reidl, Christian ; Hafner, Udo ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu Runtime Monitoring with Recovery of the SENT Communication ProtocolKonferenzbeitrag Inproceedings2017
14Konnov, Igor ; Veith, Helmut ; Widder, Josef SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed AlgorithmsKonferenzbeitrag Inproceedings 2015
15Elad, Neta ; Rain, Sophie ; Immerman, Neil ; Sagiv, Mooly ; Kovacs, Laura ; Silva, Alexandra ; Leino, Rustan Summing up Smart TransitionsKonferenzbeitrag Inproceedings 2021
16Kroening, Daniel ; Lewis, Matt ; Weissenbacher, Georg Under-Approximating Loops in C Programs for Fast Counterexample DetectionKonferenzbeitrag Inproceedings 2013