scientific article; zbMATH DE number 1107556

MaRDI QIDQ4373485zbMATH OpenFDO

Authors L. E. Moser, P. M. Melliar-Smith

Publication date 21 January 1998

zbMATH Keywords

multi-level secure systemsverification systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Building reliable component-based software systems
• A methodology for reliable systems design
• Theoretical Aspects of Computing – ICTAC 2005
• scientific article; zbMATH DE number 1734135
• On the Maintenance of Systems Composed of Highly Reliable Components
• Compositional refinement for hierarchical hybrid systems

Cited in

(3)

• Perpetuality for Full and Safe Composition (in a Constructive Setting)
• Interference analysis for dependable systems using refinement and abstraction
• Application of the composition principle to unity-like specifications

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