Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I — 1st ed. 2020. (Englisch)
Freier Zugriff
- Neue Suche nach: Lahiri, Shuvendu K.
- Neue Suche nach: Wang, Chao
2020
-
ISBN:
- Buch / Elektronische Ressource
-
Titel:Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
-
Beteiligte:Lahiri, Shuvendu K. ( Herausgeber:in ) / Wang, Chao ( Herausgeber:in )
-
Erschienen in:
-
Ausgabe:1st ed. 2020.
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:2020
-
Format / Umfang:1 Online-Ressource(XVII, 669 p. 616 illus., 117 illus. in color.)
-
Anmerkungen:Open Access
-
ISBN:
-
DOI:
-
Medientyp:Buch
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 005.1
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
DDC: 005.1 -
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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