Del 12759 i serien Lecture Notes in Computer Science

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Häftad, Engelska, 2021

AvAlexandra Silva,K. Rustan M. Leino

599 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (10)

Häftad

739 kr

Skickas inom 10-15 vardagar

Häftad

739 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

Häftad

599 kr

Skickas inom 10-15 vardagar

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

Utgivningsdatum2021-07-18
Mått155 x 235 x 53 mm
Vikt1 382 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor922
Upplaga21001
FörlagSpringer Nature Switzerland AG
ISBN9783030816841

Tillhör följande kategorier

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

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

1 119 kr

Del 13038

Logic, Language, Information, and Computation

Alexandra Silva, Renata Wassermann, Ruy de Queiroz

Häftad, 2021

1 059 kr

Del 10321

Formal Techniques for Distributed Objects, Components, and Systems

Ahmed Bouajjani, Alexandra Silva

Häftad, 2017

739 kr

Logic and Program Semantics

Robert L. Constable, Alexandra Silva

Häftad, 2012

739 kr

Language, Logic, and Computation

Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach

Häftad, 2019

719 kr

Mer från samma serie

Compiler Construction

Albert Cohen

Häftad, 2014

709 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

719 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

739 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

739 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

739 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

739 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 209 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

739 kr

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi - Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops, Häftad

Del 15401

Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi

Häftad, 2025

959 kr

Del 16625

Web Engineering

Andrea Mauri, Lola Burgueño, Riccardo Tommasini

Häftad, 2026

1 099 kr

Du kanske också är intresserad av

Del 12760

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Finns i fler format (10)

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Mer från samma författare

Mer från samma serie

Du kanske också är intresserad av

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Finns i fler format (10)

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Mer från samma författare

Mer från samma serie

Du kanske också är intresserad av

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Finns i fler format (10)

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Mer från samma författare

Mer från samma serie

Du kanske också är intresserad av