This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.This is an open access book.

Produktinformation

Utgivningsdatum:2021-07-18
Mått:155 x 235 x 53 mm
Vikt:1 382 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:922
Upplaga:21001
Förlag:Springer Nature Switzerland AG
ISBN:9783030816841

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

Invited Papers.- NNrepair: Constraint-based Repair of Neural Network Classifiers.- Balancing automation and control for formal verification of microprocessors.- Algebraic Program Analysis.- Programmable Program Synthesis.- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities.- AI Verification.- DNNV: A Framework for Deep Neural Network Verification.- Robustness Verification of Quantum Classifiers.- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks.- Automated Safety Verification of Programs Invoking Neural Networks.- Scalable Polyhedral Verification of Recurrent Neural Networks.- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning.- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability.- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier.- Concurrency and Blockchain.- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models.- Summing Up Smart Transitions.- Stateless Model Checking under a Reads-Value-From Equivalence.- Gobra: Modular Specification and Verification of Go Programs.- Delay-Bounded Scheduling Without Delay!.- Checking Data-Race Freedom of GPU Kernels, Compositionally.- GenMC: A Model Checker for Weak Memory Models.- Hybrid and Cyber-Physical Systems.- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming.- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation.- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL.- Computing Bottom SCCs Symbolically Using Transition Guided Reduction.- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems.- IMITATOR 3: Synthesis of timing parameters beyond decidability.- Formally Verified Switching Logic for Recoverability of Aircraft Controller.- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions.- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness.- Fast zone-based algorithms for reachability in pushdown timed automata.- Security.- Verified Cryptographic Code for Everybody.- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference.- A Temporal Logic for Asynchronous Hyperproperties.- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security.- Constraint-based Relational Verification.- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning.- Synthesis.- Synthesis with Asymptotic Resource Bounds.- Program Sketching by Automatically Generating Mocks from Tests.- Counterexample-Guided Partial Bounding for Recursive Function Synthesis.- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs.- Adapting Behaviors via Reactive Synthesis.- Causality-based Game Solving.

Mer från samma författare

Foundations of Probabilistic Programming

Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

Inbunden, 2020

859 kr

Foundations of Probabilistic Programming

Alexandra Silva, Joost-Pieter Katoen, Gilles Barthe

E-bok

2020

1 002 kr

Del 13038

Logic, Language, Information, and Computation

Alexandra Silva, Renata Wassermann, Ruy de Queiroz

Häftad, 2021

820 kr

Logic, Language, Information, and Computation

Ruy de Queiroz, Renata Wassermann, Alexandra Silva

E-bok

2021

1 037 kr

Del 10321

Formal Techniques for Distributed Objects, Components, and Systems

Ahmed Bouajjani, Alexandra Silva

Häftad, 2017

573 kr

Formal Techniques for Distributed Objects, Components, and Systems

Alexandra Silva, Ahmed Bouajjani

E-bok

2017

739 kr

Logic and Program Semantics

Robert L. Constable, Alexandra Silva

Häftad, 2012

573 kr

Logic and Program Semantics

Alexandra Silva, Robert L. Constable

E-bok

2012

739 kr

Language, Logic, and Computation

Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach

Häftad, 2019

556 kr

Language, Logic, and Computation

Carla Umbach, Peter Sutton, Sam Staton, Alexandra Silva

E-bok

2019

718 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

556 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

935 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

573 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

845 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 026 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

573 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 026 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

935 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Del 16923

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

732 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

Del 12760