Bitfields and Tagged Unions in C: Verification through Automatic Generation.

Published in: VERIFY (2008)

Keyphrases

automatically generate
model checking
formal verification
formal methods
real world
data mining
image processing
website
three dimensional
expert systems
relational databases
concurrent systems