528 search results - page 43 / 106 » Construction of concrete verification models from C |
CODES
2007
IEEE
14 years 3 months ago
2007
IEEE
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...
ERLANG
2008
ACM
13 years 10 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
PKC
2010
Springer
14 years 20 days ago
2010
Springer
In many practical settings, participants are willing to deviate from the protocol only if they remain undetected. Aumann and Lindell introduced a concept of covert adversaries to f...
TSE
2012
11 years 11 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
SIGCSE
1998
ACM
14 years 29 days ago
1998
ACM
ions, and (c) the seductive reality of the computer must not be allowed to supplant construction of models. The dominant theory of learning today is called constructivism. This the...