Computer Aided Verification

View Statistics Email Alert RSS Feed

Book details Buch-Details

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

Publications Publikationen

Filter:
Date Issued:  [2020 TO 2023]

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

PreviewAuthor(s)TitleTypeIssue Date
1Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data StructuresKonferenzbeitrag Inproceedings 2022
2Slivovsky, Friedrich Interpolation-Based Semantic Gate Extraction and Its Applications to QBF PreprocessingKonferenzbeitrag Inproceedings 2020
3Girol, Guillaume ; Farinier, Benjamin ; Bardin, Sébastien Not All Bugs Are Created Equal, But Robust Reachability Can Tell the DifferenceKonferenzbeitrag Inproceedings 2021
4Elad, Neta ; Rain, Sophie ; Immerman, Neil ; Sagiv, Mooly ; Kovacs, Laura Summing up Smart TransitionsKonferenzbeitrag Inproceedings 2021