Choose an application

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

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.

Computer science. --- Software engineering. --- Logic design. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering. --- Special Purpose and Application-Based Systems. --- Engineering & Applied Sciences --- Computer Science --- Design, Logic --- Design of logic systems --- Computer software engineering --- Informatics --- Special purpose computers. --- Computer logic. --- Computer software --- Verification --- Engineering --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Special purpose computers --- Computers --- Computer science logic --- Logic, Symbolic and mathematical --- Computers, Special purpose. --- Computer Science Logic and Foundations of Programming. --- Science

Choose an application

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

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.

System design --- System analysis --- Computer software --- Verification --- Computer science. --- Theory of Computation. --- Informatics --- Science

Choose an application

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

Choose an application

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

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.

Computer Science. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer science. --- Software engineering. --- Logic design. --- Informatique --- Génie logiciel --- Structure logique --- Computer software -- Validation. --- Engineering & Applied Sciences --- Computer Science --- Computer software --- Validation. --- Software validation --- Validation of software --- Computer logic. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Computer science logic --- Logic, Symbolic and mathematical --- Computer Science Logic and Foundations of Programming. --- Informatics --- Science

Choose an application

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

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually. There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more. .

Computer programs --- Verification. --- Verification of computer programs --- Computer science. --- Software engineering. --- Compilers (Computer programs). --- Computer networks. --- Microprogramming. --- Computers. --- Computer Science Logic and Foundations of Programming. --- Software Engineering. --- Compilers and Interpreters. --- Computer Communication Networks. --- Control Structures and Microprogramming. --- Computer Hardware. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- 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 --- Compiling programs (Computer programs) --- Programming software --- Systems software --- Computer software engineering --- Engineering --- Informatics --- Science --- Distributed processing