Preventing arithmetic overflows in Alloy.

Aleksandar Milicevic Daniel Jackson

Published in: Sci. Comput. Program. (2014)

Keyphrases

arithmetic operations
floating point
mechanical properties
database
buffer overflow
databases
search engine
social networks
expert systems
wireless sensor networks