scientific article; zbMATH DE number 1515322

MaRDI QIDQ4507864zbMATH OpenFDO

Authors Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz

Publication date 10 October 2000

zbMATH Keywords

prototype verification systemsoftware module interfacestrace assertion method

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1931943
• A Formal Method for the Abstract Specification of Software
• scientific article; zbMATH DE number 1903369
• Proving invariants of I/O automata with TAME
• TAME: Using PVS strategies for special-purpose theorem proving

Cited in

(3)

• Formal analysis of the application programming interface of the PVS verification system
• scientific article; zbMATH DE number 1982203 (Why is no real title available?)
• scientific article; zbMATH DE number 1931943 (Why is no real title available?)

Describes a project that uses

Uses Software

• PVS

This page was built for publication:

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