Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I — 1st ed. 2020. (English)
Free access
- New search for: Lahiri, Shuvendu K.
- New search for: Wang, Chao
2020
-
ISBN:
- Book / Electronic Resource
-
Title:Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
-
Contributors:Lahiri, Shuvendu K. ( editor ) / Wang, Chao ( editor )
-
Published in:
-
Edition:1st ed. 2020.
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2020
-
Size:1 Online-Ressource(XVII, 669 p. 616 illus., 117 illus. in color.)
-
Remarks:Open Access
-
ISBN:
-
DOI:
-
Type of media:Book
-
Type of material:Electronic Resource
-
Language:English
- New search for: 005.1
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
DDC: 005.1 -
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical SystemsTran, Hoang-Dung / Yang, Xiaodong / Manzanas Lopez, Diego / Musau, Patrick / Nguyen, Luan Viet / Xiang, Weiming / Bak, Stanley / Johnson, Taylor T. et al. | 2020
- 2
-
Verification of Deep Convolutional Neural Networks Using ImageStarsTran, Hoang-Dung / Bak, Stanley / Xiang, Weiming / Johnson, Taylor T. et al. | 2020
- 3
-
An Abstraction-Based Framework for Neural Network VerificationElboher, Yizhak Yisrael / Gottschlich, Justin / Katz, Guy et al. | 2020
- 4
-
Improved Geometric Path Enumeration for Verifying ReLU Neural NetworksBak, Stanley / Tran, Hoang-Dung / Hobbs, Kerianne / Johnson, Taylor T. et al. | 2020
- 5
-
Systematic Generation of Diverse Benchmarks for DNN VerificationXu, Dong / Shriver, David / Dwyer, Matthew B. / Elbaum, Sebastian et al. | 2020
- 6
-
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAIFremont, Daniel J. / Chiu, Johnathan / Margineantu, Dragos D. / Osipychev, Denis / Seshia, Sanjit A. et al. | 2020
- 7
-
The Move ProverZhong, Jingyi Emma / Cheang, Kevin / Qadeer, Shaz / Grieskamp, Wolfgang / Blackshear, Sam / Park, Junkil / Zohar, Yoni / Barrett, Clark / Dill, David L. et al. | 2020
- 8
-
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart ContractPark, Daejun / Zhang, Yi / Rosu, Grigore et al. | 2020
- 9
-
Stratified Abstraction of Access Control PoliciesBackes, John / Berrueco, Ulises / Bray, Tyler / Brim, Daniel / Cook, Byron / Gacek, Andrew / Jhala, Ranjit / Luckow, Kasper / McLaughlin, Sean / Menon, Madhav et al. | 2020
- 10
-
Synthesis of Super-Optimized Smart Contracts Using Max-SMTAlbert, Elvira / Gordillo, Pablo / Rubio, Albert / Schett, Maria A. et al. | 2020
- 11
-
Verification of Quantitative Hyperproperties Using Trace Enumeration RelationsSahai, Shubham / Subramanyan, Pramod / Sinha, Rohit et al. | 2020
- 12
-
Validation of Abstract Side-Channel Models for Computer ArchitecturesNemati, Hamed / Buiras, Pablo / Lindner, Andreas / Guanciale, Roberto / Jacobs, Swen et al. | 2020
- 13
-
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated SystemsNagar, Kartik / Mukherjee, Prasita / Jagannathan, Suresh et al. | 2020
- 14
-
Refinement for Structured Concurrent ProgramsKragl, Bernhard / Qadeer, Shaz / Henzinger, Thomas A. et al. | 2020
- 15
-
Parameterized Verification of Systems with Global Synchronization and GuardsJaber, Nouraldin / Jacobs, Swen / Wagner, Christopher / Kulkarni, Milind / Samanta, Roopsha et al. | 2020
- 16
-
Hampa: Solver-Aided Recency-Aware ReplicationLi, Xiao / Houshmand, Farzin / Lesani, Mohsen et al. | 2020
- 17
-
Root Causing Linearizability ViolationsÇirisci, Berk / Enea, Constantin / Farzan, Azadeh / Mutluergil, Suha Orhun et al. | 2020
- 18
-
Symbolic Partial-Order Execution for Testing Multi-Threaded ProgramsSchemmel, Daniel / Büning, Julian / Rodríguez, César / Laprell, David / Wehrle, Klaus et al. | 2020
- 19
-
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification ComponentsTruong, Lenny / Herbst, Steven / Setaluri, Rajsekhar / Mann, Makai / Daly, Ross / Zhang, Keyi / Donovick, Caleb / Stanley, Daniel / Horowitz, Mark / Barrett, Clark et al. | 2020
- 20
-
Nonlinear Craig Interpolant GenerationGan, Ting / Xia, Bican / Xue, Bai / Zhan, Naijun / Dai, Liyun et al. | 2020
- 21
-
Approximate Counting of Minimal Unsatisfiable SubsetsBendík, Jaroslav / Meel, Kuldeep S. et al. | 2020
- 22
-
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and SamplingSoos, Mate / Gocht, Stephan / Meel, Kuldeep S. et al. | 2020
- 23
-
Automated and Scalable Verification of Integer MultipliersTemel, Mertcan / Slobodova, Anna / Hunt, Warren A. et al. | 2020
- 24
-
Interpolation-Based Semantic Gate Extraction and Its Applications to QBF PreprocessingSlivovsky, Friedrich et al. | 2020
- 25
-
TarTar: A Timed Automata Repair ToolKölbl, Martin / Leue, Stefan / Wies, Thomas et al. | 2020
- 26
-
SAW: A Tool for Safety Analysis of Weakly-Hard SystemsHuang, Chao / Chang, Kai-Chieh / Lin, Chung-Wei / Zhu, Qi et al. | 2020
- 27
-
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear SystemsDevonport, Alex / Khaled, Mahmoud / Arcak, Murat / Zamani, Majid et al. | 2020
- 28
-
AEON: Attractor Bifurcation Analysis of Parametrised Boolean NetworksBeneš, Nikola / Brim, Luboš / Kadlecaj, Jakub / Pastva, Samuel / Šafránek, David et al. | 2020
- 29
-
A Novel Approach for Solving the BMI Problem in Barrier Certificates GenerationChen, Xin / Peng, Chao / Lin, Wang / Yang, Zhengfeng / Zhang, Yifang / Li, Xuandong et al. | 2020
- 30
-
Reachability Analysis Using Message Passing over Tree DecompositionsSankaranarayanan, Sriram et al. | 2020
- 31
-
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle ModelsFan, Chuchu / Miller, Kristina / Mitra, Sayan et al. | 2020
- 32
-
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction NetworksČeška, Milan / Chau, Calvin / Křetínský, Jan et al. | 2020