Model Checking Dynamic Memory Allocation in Operating Systems
- 27 March 2009
- journal article
- research article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 42 (2-4) , 229-264
Abstract
No abstract availableKeywords
This publication has 31 references indexed in Scilit:
- The software model checker BlastInternational Journal on Software Tools for Technology Transfer, 2007
- Reasoning About Sequences of Memory StatesLecture Notes in Computer Science, 2007
- First-Order and Temporal Logics for Nested Words2007
- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model CheckingLecture Notes in Computer Science, 2005
- A Temporal Logic of Nested Calls and Returns2004
- Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal ReasoningApplied Intelligence, 2002
- Automatic predicate abstraction of C programs2001
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- Bandera2000
- Principles of Program Analysis1999