Postfix: Past, Present, and Future
.
2010. Postfix: Past, Present, and Future.
{ZFS}
.
2010. {ZFS}.
- Read more about {ZFS}
- DBLP
- Log in to post comments
- Google Scholar
- BibTeX
Loop Refinement Using Octagons and Satisfiability
.
2010. Loop Refinement Using Octagons and Satisfiability. 5th International Workshop on Systems Software Verification (SSV 10).
Verification of Stack Manipulation in the {SCIP} Processor
.
2010. Verification of Stack Manipulation in the {SCIP} Processor. 5th International Workshop on Systems Software Verification (SSV 10).
Towards Proving Security in the Presence of Large Untrusted Components
.
2010. Towards Proving Security in the Presence of Large Untrusted Components. 5th International Workshop on Systems Software Verification (SSV 10).
A Precise Memory Model for {Low-Level} Bounded Model Checking
.
2010. A Precise Memory Model for {Low-Level} Bounded Model Checking. 5th International Workshop on Systems Software Verification (SSV 10).
Model-based Testing Without a Model: Assessing Portability in the Seattle Testbed
.
2010. Model-based Testing Without a Model: Assessing Portability in the Seattle Testbed. 5th International Workshop on Systems Software Verification (SSV 10).
Correctness Proofs for Device Drivers in Embedded Systems
.
2010. Correctness Proofs for Device Drivers in Embedded Systems. 5th International Workshop on Systems Software Verification (SSV 10).
{Lyrebird—Assigning} Meanings to Machines
.
2010. {Lyrebird—Assigning} Meanings to Machines. 5th International Workshop on Systems Software Verification (SSV 10).