scientific article; zbMATH DE number 1258883

zbMATH Open0930.68087MaRDI QIDQ4229232FDOQ4229232

Authors:

Publication date: 8 March 1999

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

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

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)