scientific article; zbMATH DE number 4145305

MaRDI QIDQ3476264zbMATH OpenFDO

Authors Tomasz Szmuc

Publication date 1989

zbMATH Keywords

verification of concurrent software systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4131639
• scientific article; zbMATH DE number 62143
• scientific article; zbMATH DE number 1796139
• scientific article; zbMATH DE number 1314563
• Automatic and hierarchical verification for concurrent systems

Cited in

(11)

• Proving the correctness of client/server software
• A formal methodology using attributed grammars for multiprocessing-system software development. II. Validation
• Provably correct systems. Papers based on the ProCoS workshop, London, UK, March 2015
• Analysis of correct synchronization of operating system components
• Concurrent correctness in vector space
• scientific article; zbMATH DE number 1678385 (Why is no real title available?)
• scientific article; zbMATH DE number 4131639 (Why is no real title available?)
• Validating timed models of deployment components with parametric concurrency
• scientific article; zbMATH DE number 1314563 (Why is no real title available?)
• scientific article; zbMATH DE number 1476492 (Why is no real title available?)
• scientific article; zbMATH DE number 1796139 (Why is no real title available?)

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