Formal methods and dependability. (Extended abstract)

DOI10.1007/10722010_10MaRDI QIDQ2721098zbMATH OpenFDO

Authors Cliff B. Jones

Publication date 1 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722010_10

zbMATH Keywords

concurrency

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Recommendations

• Program verification and system dependability
• Foreword
• On dependability of computing systems
• Formal methods of analysis of system properties
• Dependable computing: an overview.

Cited in

(8)

• Formal Methods: State of the Art and New Directions
• Program verification and system dependability
• scientific article; zbMATH DE number 2033528 (Why is no real title available?)
• scientific article; zbMATH DE number 2155176 (Why is no real title available?)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• scientific article; zbMATH DE number 5038706 (Why is no real title available?)
• Foreword
• A formal framework for dependability and resilience from a software engineering perspective

This page was built for publication: Formal methods and dependability. (Extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2721098)