Model checking dynamic memory allocation in operating systems
From MaRDI portal
Publication:835783
DOI10.1007/s10817-009-9124-yzbMath1192.68147MaRDI QIDQ835783
Pedro Merino, María del Mar Gallardo, 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
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Uses Software