Software Verification and Analysis

DOI10.1007/978-1-84882-240-5MaRDI QIDQ5503618zbMATH OpenOpenAlexFDO

Authors Janusz Laski, William C. Stanley

Publication date 15 January 2009

Full work available at URL https://doi.org/10.1007/978-1-84882-240-5

zbMATH Keywords

program verificationsoftware engineering

Mathematics Subject Classification ID

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

Recommendations

• Software Verification and Validation
• scientific article; zbMATH DE number 1633145
• scientific article; zbMATH DE number 47348
• Challenges of software verification. Contributions of the first workshop, CSV, Venice, Italy, May 20, 2022
• scientific article; zbMATH DE number 994144

Cited in

(17)

• A comparison of tools for teaching formal software verification
• Rigorous software development. An introduction to program verification.
• scientific article; zbMATH DE number 1693453 (Why is no real title available?)
• Building high integrity applications with SPARK
• scientific article; zbMATH DE number 994144 (Why is no real title available?)
• The tokeneer experiments
• Software Verification and Validation
• Program verification and system dependability
• scientific article; zbMATH DE number 3930309 (Why is no real title available?)
• scientific article; zbMATH DE number 47136 (Why is no real title available?)
• scientific article; zbMATH DE number 47348 (Why is no real title available?)
• scientific article; zbMATH DE number 1956475 (Why is no real title available?)
• scientific article; zbMATH DE number 2033523 (Why is no real title available?)
• scientific article; zbMATH DE number 1796119 (Why is no real title available?)
• Towards dependable development tools for embedded systems: a case study in software verification
• Verified squared, does critical software deserve verified tools?
• Early verification and validation of mission critical systems

Describes a project that uses

Uses Software

• SPARK

This page was built for publication: Software Verification and Analysis

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