scientific article; zbMATH DE number 795668

MaRDI QIDQ4845488zbMATH OpenFDO

Authors

Publication date 12 September 1995

zbMATH Keywords

formal methodsFormal methodslanguage Zspecification

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07) Computer system organization (68M99) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1497767
• scientific article; zbMATH DE number 1350767
• Formal methods in computing
• Formal methods in computer technologies
• Formal methods in computer science
• scientific article; zbMATH DE number 5015278

Cited in

(7)

• Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository
• scientific article; zbMATH DE number 5015278 (Why is no real title available?)
• scientific article; zbMATH DE number 5722463 (Why is no real title available?)
• scientific article; zbMATH DE number 1380218 (Why is no real title available?)
• Verification of heterogeneous multi-agent system using MCMAS
• Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
• A deep reinforcement learning framework with formal verification

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 Q4845488)