Programmverifikation

DOI10.1007/978-3-642-57947-9MaRDI QIDQ4294559zbMATH OpenOpenAlexFDO

Authors Krzysztof R. Apt, Ernst-Rüdiger Olderog

Publication date 16 May 1994

Published in Springer-Lehrbuch (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-57947-9

zbMATH Keywords

distributed programsparallel programprogram verificationsequential program

Mathematics Subject Classification ID

Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 50008
• Verification of sequential and concurrent programs
• scientific article; zbMATH DE number 546874
• scientific article; zbMATH DE number 53100

Cited in

(13)

• A survey of verification techniques for parallel programs
• The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
• Efficient verification of sequential and concurrent C programs
• Semantics and program verification
• scientific article; zbMATH DE number 47140 (Why is no real title available?)
• scientific article; zbMATH DE number 50008 (Why is no real title available?)
• scientific article; zbMATH DE number 54048 (Why is no real title available?)
• scientific article; zbMATH DE number 1285209 (Why is no real title available?)
• scientific article; zbMATH DE number 546874 (Why is no real title available?)
• scientific article; zbMATH DE number 548908 (Why is no real title available?)
• scientific article; zbMATH DE number 194784 (Why is no real title available?)
• Verification of distributed programs of the SPMD-type on the basis of the L-programs formalism
• Verification of sequential and concurrent programs

This page was built for publication: Programmverifikation

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