Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.

Computer software --- Verification --- architecting --- architecture verification and validation --- artificial intelligence --- computer programming --- computer science --- computer systems --- distributed computer systems --- distributed systems --- embedded systems --- formal logic --- mathematics --- model checking --- programming languages --- software architecture --- software design --- software engineering --- software quality --- theoretical computer science --- verification --- verification and validation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.

Computer science --- Computer networking & communications --- Computer programming / software development --- Software Engineering --- Theory of Computation --- Computer Systems Organization and Communication Networks --- Control Structures and Microprogramming --- Computer Engineering and Networks --- architecture verification and validation --- automata theory --- computer systems --- distributed computer systems --- embedded systems --- formal logic --- mathematics --- model checking --- model-checking --- parallel processing systems --- SAT and SMT solving --- software architecture --- static and dynamic program analysis --- theorem-proving --- verification and validation --- Mathematical theory of computation --- Algorithms & data structures --- Computer science. --- Computer engineering. --- Computer networks. --- Microprogramming. --- Software engineering. --- Theory of Computation. --- Computer Engineering and Networks. --- Control Structures and Microprogramming. --- Software Engineering. --- Computer software engineering --- Engineering --- Computer programming --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computers --- Informatics --- Science --- Distributed processing --- Design and construction

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Software Engineering --- Mathematical theory of computation --- Artificial intelligence --- Computer programming / software development --- Computer modelling & simulation --- architecture verification --- artificial intelligence --- computer programming --- distributed computer systems --- distributed systems --- embedded systems --- formal logic --- formal methods --- formal verifications --- model checker --- model checking --- signal processing --- software architecture --- software design --- software engineering --- software quality --- Software engineering. --- Machine theory. --- Artificial intelligence. --- Computer science. --- Computer simulation. --- Software Engineering. --- Formal Languages and Automata Theory. --- Artificial Intelligence. --- Computer Science Logic and Foundations of Programming. --- Computer Modelling. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Fifth generation computers --- Neural computers --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Computer software engineering --- Engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.

Software engineering. --- Computers. --- Artificial intelligence. --- Computer organization. --- Computer hardware. --- Computer simulation. --- Software Engineering. --- Theory of Computation. --- Artificial Intelligence. --- Computer Systems Organization and Communication Networks. --- Computer Hardware. --- Simulation and Modeling. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Organization, Computer --- Electronic digital computers --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Fifth generation computers --- Neural computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Software Engineering --- Theory of Computation --- Artificial Intelligence --- Computer Systems Organization and Communication Networks --- Computer Hardware --- Simulation and Modeling --- Computer Engineering and Networks --- Computer Science --- architecture verification and validation --- artificial intelligence --- automata theory --- computer systems --- correlation analysis --- distributed computer systems --- embedded systems --- formal languages --- formal logic --- linguistics --- model checking --- programming languages --- semantics --- software architecture --- software design --- software quality --- verification and validation --- Open Access --- Computer science --- Mathematical theory of computation --- Artificial intelligence --- Computer networking & communications --- Computer modelling & simulation --- Computer science. --- Computer engineering. --- Computer networks. --- Computer Engineering and Networks. --- Computer Science. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Computers --- Informatics --- Science --- Distributed processing --- Design and construction

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions. .

Software Engineering --- Computer programming / software development --- Artificial intelligence --- Computer science --- Software Engineering/Programming and Operating Systems --- Data Structures and Information Theory --- Natural Language Processing (NLP) --- Programming Techniques --- Theory of Computation --- architecture verification and validation --- artificial intelligence --- embedded systems --- empirical software validation --- formal logic --- formal methods --- model checking --- model-driven software engineering --- object-oriented programming --- parallel processing systems --- program analysis --- program compilers --- signal processing --- software architecture --- software performance --- software selection and adaptation --- software testing and debugging --- telecommunication systems --- verification --- Operating systems --- Algorithms & data structures --- Information theory --- Natural language & machine translation --- Computer programming / software engineering --- Mathematical theory of computation --- Software engineering. --- Data structures (Computer science). --- Information theory. --- Natural language processing (Computer science). --- Computer programming. --- Computer science. --- Software Engineering. --- Data Structures and Information Theory. --- Natural Language Processing (NLP). --- Programming Techniques. --- Theory of Computation. --- Informatics --- Science --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- NLP (Computer science) --- Human-computer interaction --- Semantic computing --- Communication theory --- Communication --- Cybernetics --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer software engineering --- Engineering --- Programming