Home | deutsch  | Legals | Sitemap | KIT

A Precise Memory Model for Low-Level Bounded Model Checking

A Precise Memory Model for Low-Level Bounded Model Checking
Author:

Carsten Sinz, Stephan Falke, Florian Merz

Source:

In Proc. of the 5th Intl. Workshop on Systems Software Verification (SSV 2010), Vancouver, Canada

Date: 2010