Analysis of correct synchronization of operating system components

DOI10.1134/S0361768820080022MaRDI QIDQ2226972zbMATH OpenOpenAlexFDO

Authors P. S. Andrianov

Publication date 9 February 2021

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0361768820080022

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of operating systems (68N25)

Recommendations

• Thread-modular abstraction refinement.
• Model checking of concurrent algorithms: from Java to C
• Software model checking with explicit scheduler and symbolic threads
• scientific article; zbMATH DE number 4145305
• scientific article; zbMATH DE number 1982207

Cites work

• scientific article; zbMATH DE number 1612488 (Why is no real title available?)
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 1982207 (Why is no real title available?)
• Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
• Local proofs for global safety properties
• Optimal dynamic partial order reduction
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Predicate abstraction and refinement for verifying multi-threaded programs
• Reducing concurrent analysis under a context bound to sequential analysis
• Symbolic Counter Abstraction for Concurrent Software
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification of Boolean programs with unbounded thread creation

Describes a project that uses

Uses Software

• RELAY
• LOCKSMITH
• ESBMC
• Threader
• Eraser

This page was built for publication: Analysis of correct synchronization of operating system components

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