scientific article; zbMATH DE number 4084996

MaRDI QIDQ3814786zbMATH OpenFDO

Authors Manfred Broy

Publication date 1988

zbMATH Keywords

distributed systemsspecificationverification

Mathematics Subject Classification ID

Theory of operating systems (68N25) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3898215
• Issues in formal methods
• Specification styles in distributed systems design and verification
• scientific article; zbMATH DE number 3898216
• scientific article; zbMATH DE number 1262881

Cited in

(11)

• Specification styles in distributed systems design and verification
• Critique of the Lake Arrowhead three
• Supporting verification-driven incremental distributed design of components
• Issues in formal methods
• scientific article; zbMATH DE number 3898215 (Why is no real title available?)
• Towards formal specification of a distributed computing system
• Generating fault-tolerant information distribution rules from high-level requirements specifications
• Formal definition and representation of interaction points
• Parallel Processing and Applied Mathematics
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Towards a formal foundation of the specification and description language SDL

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