Choose an application

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

Laboratories --- Katherine Johnson Independent Verification and Validation Facility.

Choose an application

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

NASA Independent Verification and Validation Facility --- NASA IV&V Program --- United States.

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 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 --- databases --- distributed computer systems --- embedded systems --- engineering --- formal languages --- formal logic --- linguistics --- mathematics --- model checking --- software architecture --- software design --- software engineering --- software quality --- theoretical computer science

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