scientific article; zbMATH DE number 1258883

MaRDI QIDQ4229232zbMATH OpenFDO

Authors

Publication date 8 March 1999

zbMATH Keywords

minimum spanning treerefinementabstract machinesRefinementprogram developmentProgram developmentdistributed load balancingB methodproduction celldistributed electronic mail system

Mathematics Subject Classification ID

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

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

(7)

• Dynamic logic with binders and its application to the development of reactive systems
• Query-driven verification of data integration in the RDF data model
• Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
• Action systems in incremental and aspect-oriented modeling
• Verification-Led Smart Contracts
• B: Towards zero defect software
• Verifying minimum spanning tree algorithms with Stone relation algebras

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)