Vol-1888⫷ Vol-1889 ⫸Vol-1890
urn:nbn:de:0074-1889-0


Vol-1889/paper8⫷Vol-1889/paper9⫸Vol-1889/no-trace-1
Yakir VizelAlexander NadelSharad Malik

Solving Constraints over Bit-Vectors with SAT-based Model Checking