2 search results - page 1 / 1 » Taming the Wrapping of Integer Arithmetic |
SAS
2007
Springer
13 years 11 months ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
CADE
2012
Springer
11 years 8 months ago
2012
Springer
Abstract. Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known c...