PAMELA + PVS. Verification of sequential programs

MaRDI QIDQ4934529zbMATH OpenFDO

Authors Bettina Buth

Publication date 17 February 2002

zbMATH Keywords

PAMELAsplitting approach

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1836374
• Program verification: state of the art, problems, and results. I
• scientific article; zbMATH DE number 50008
• Problem-oriented program verification system ?SPEKTR?
• Verification of procedural programs

Cited in

(3)

• scientific article; zbMATH DE number 3881857 (Why is no real title available?)
• PBMC: Symbolic Slicing for the Verification of Concurrent Programs
• Problem-oriented program verification system ?SPEKTR?

This page was built for publication: PAMELA + PVS. Verification of sequential programs

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