Sciweavers

CAV
2010
Springer
154views Hardware» more  CAV 2010»
13 years 8 months ago
Verifying Low-Level Implementations of High-Level Datatypes
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
Christopher L. Conway, Clark Barrett