Analysis of correct synchronization of operating system components

DOI10.1134/S0361768820080022zbMath1467.68032OpenAlexW2998575274MaRDI QIDQ2226972

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

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

Uses Software

• Eraser
• Threader
• ESBMC
• LOCKSMITH
• RELAY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Local proofs for global safety properties
• Reducing concurrent analysis under a context bound to sequential analysis
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Verification of Boolean programs with unbounded thread creation
• Symbolic Counter Abstraction for Concurrent Software
• Optimal dynamic partial order reduction
• Predicate abstraction and refinement for verifying multi-threaded programs
• Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
• Tools and Algorithms for the Construction and Analysis of Systems

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