Model checking dynamic memory allocation in operating systems
From MaRDI portal
Publication:835783
DOI10.1007/S10817-009-9124-YzbMATH Open1192.68147OpenAlexW2045662659MaRDI QIDQ835783FDOQ835783
Authors: María del Mar Gallardo, Pedro Merino, David Sanán 
Publication date: 31 August 2009
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-009-9124-y
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Cites Work
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Multi-dimensional modal logic as a framework for spatio-temporal reasoning
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Model checking JAVA programs using JAVA PathFinder
- Verification, Model Checking, and Abstract Interpretation
- First-Order and Temporal Logics for Nested Words
- Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
- Title not available (Why is that?)
- Reasoning About Sequences of Memory States
- Title not available (Why is that?)
Cited In (5)
Uses Software
This page was built for publication: Model checking dynamic memory allocation in operating systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q835783)
