scientific article; zbMATH DE number 522852

MaRDI QIDQ4284246zbMATH OpenFDO

Authors Mahesh Girkar, Robert Moll

Publication date 24 March 1994

zbMATH Keywords

concurrent systemsfull weak safetyresource-oriented modelsynchronizer

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Concurrent correctness in vector space
• Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
• scientific article; zbMATH DE number 1973975
• Verifying concurrent programs against sequential specifications
• Verification of safety properties for concurrent assembly code
• Modular Safety Checking for Fine-Grained Concurrency
• Verification of Concurrent Programs on Weak Memory Models
• Verification of concurrent systems with VerCors

Cited in

(3)

• Non-dominating sequences of vectors using only resets and increments
• Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
• An automatic abstraction technique for verifying featured, parameterised systems

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