Software Verification and Validation

DOI10.1007/978-0-387-47939-2MaRDI QIDQ3426556zbMATH OpenOpenAlexFDO

Authors M. S. Fisher

Publication date 9 March 2007

Full work available at URL https://doi.org/10.1007/978-0-387-47939-2

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 994144
• Software reliability methods. Foreword by Edmund M. Clarke
• Software Verification and Analysis
• Software Quality Approaches: Testing, Verification, and Validation
• scientific article; zbMATH DE number 1324840

Cited in

(10)

• Rigorous software development. An introduction to program verification.
• An efficient algorithm for combining verification and validation methods
• Verification and validation in computational engineering and science: basic concepts
• scientific article; zbMATH DE number 994144 (Why is no real title available?)
• scientific article; zbMATH DE number 736677 (Why is no real title available?)
• Software Verification and Analysis
• scientific article; zbMATH DE number 964526 (Why is no real title available?)
• scientific article; zbMATH DE number 2227893 (Why is no real title available?)
• Challenges of software verification. Contributions of the first workshop, CSV, Venice, Italy, May 20, 2022
• Early verification and validation of mission critical systems

This page was built for publication: Software Verification and Validation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3426556)