Follow
( Publications: 30 | Followers: 0 )

WCET - polytechnique

volatile shortx,y; __ASTREE_volatile_input((x, [-1,1])); __ASTREE_volatile_input((y, [-1,1])); voidmain() {short z; z = (short)((unsignedshort)x + (unsignedshort)y);

Publish on Category: All 17

0

Embed

Share

Upload

WCET - polytechnique