scientific article; zbMATH DE number 1258883

MaRDI QIDQ4229232zbMATH OpenFDO

Authors

Publication date 8 March 1999

zbMATH Keywords

abstract machinesB methoddistributed electronic mail systemdistributed load balancingminimum spanning treeproduction cellprogram developmentProgram developmentrefinementRefinement

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The B-Book
• scientific article; zbMATH DE number 2172802
• scientific article; zbMATH DE number 1487745
• Verified Compilation and the B Method: A Proposal and a First Appraisal

Cited in

(9)

• Verifying minimum spanning tree algorithms with Stone relation algebras
• B: Towards zero defect software
• Dynamic logic with binders and its application to the development of reactive systems
• scientific article; zbMATH DE number 1487481 (Why is no real title available?)
• scientific article; zbMATH DE number 1487745 (Why is no real title available?)
• Action systems in incremental and aspect-oriented modeling
• Query-driven verification of data integration in the RDF data model
• Verification-Led Smart Contracts
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application

Describes a project that uses

Uses Software

• Visual C++

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