Home | english  | Impressum | Sitemap | KIT

A Precise Memory Model for Low-Level Bounded Model Checking

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

Carsten Sinz, Stephan Falke, Florian Merz

Quelle:

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

Datum: 2010