Relationship of program correctness checking methods

DOI10.1007/BF01070588MaRDI QIDQ3033305zbMATH OpenFDO

Authors V.s. Kostyrko

Publication date 1988

Published in Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01070588

zbMATH Keywords

symbolic testingtestingverification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3926224
• scientific article; zbMATH DE number 3894447
• Different approaches to solving the problem of program correctness
• Program verification.
• A method of static program correctness checking

Cites work

• scientific article; zbMATH DE number 108425 (Why is no real title available?)
• scientific article; zbMATH DE number 3597849 (Why is no real title available?)
• scientific article; zbMATH DE number 3997144 (Why is no real title available?)
• Program testing using symbolic execution

Cited in

(6)

• A method of static program correctness checking
• A methodology for assessing the correctness of control programs
• Different approaches to solving the problem of program correctness
• scientific article; zbMATH DE number 3926224 (Why is no real title available?)
• scientific article; zbMATH DE number 3894447 (Why is no real title available?)
• On programming style-program correctness relation

This page was built for publication: Relationship of program correctness checking methods

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