1356 search results - page 185 / 272 » The ideal of verified software |
174
click to vote
FSEN
2009
Springer
16 years 26 days ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
159
click to vote
COMPSAC
2008
IEEE
16 years 23 days ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
181
click to vote
ISORC
2008
IEEE
16 years 21 days ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
172
click to vote
KBSE
2008
IEEE
16 years 21 days ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
155
click to vote
SEFM
2008
IEEE
16 years 20 days ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...