Choose an application

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

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

Software engineering. --- Logic design. --- Computer science. --- Computer system performance. --- Computer industry. --- Software Engineering. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- System Performance and Evaluation. --- Special Purpose and Application-Based Systems. --- The Computing Profession. --- Electronic industries --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Computer logic. --- Computer system failures. --- Computers. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Computer science logic --- Logic, Symbolic and mathematical --- Failures --- Programming languages (Electronic computers). --- Special purpose computers. --- Special purpose computers --- Computers --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial

Choose an application

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

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

Systems analysis & design --- Software testing & verification --- Computer architecture & logic design --- Mathematical theory of computation --- Artificial intelligence --- Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning

Choose an application

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

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

Systems analysis & design --- Software testing & verification --- Computer architecture & logic design --- Mathematical theory of computation --- Artificial intelligence --- Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning --- Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning

Choose an application

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

Formal methods (Computer science) --- Computer systems --- System design --- Computer-aided design

Choose an application

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