Program verification.

MaRDI QIDQ2756738zbMATH OpenFDO

Authors R. P. Kurshan

Publication date 18 November 2001

Published in Notices of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL http://www.ams.org/notices/200005/200005-toc.html

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 194784
• scientific article; zbMATH DE number 2086963
• scientific article; zbMATH DE number 1507198
• Program verification. Fundamental issues in computer science
• Problem-oriented approach to verification of file-processing programs

Cited in

(8)

• Relationship of program correctness checking methods
• Transfer of model checking to industrial practice
• scientific article; zbMATH DE number 53100 (Why is no real title available?)
• scientific article; zbMATH DE number 1507198 (Why is no real title available?)
• Program result checking: a new approach to making programs more reliable
• scientific article; zbMATH DE number 2086963 (Why is no real title available?)
• scientific article; zbMATH DE number 1390248 (Why is no real title available?)
• scientific article; zbMATH DE number 3894447 (Why is no real title available?)

This page was built for publication: Program verification.

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