1356 search results - page 112 / 272 » The ideal of verified software |
177
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Change impact analysis aims at identifying software artifacts being affected by a change. In the past, this problem has been addressed by approaches relying on static, dynamic, a...
145
click to vote
GPCE
2009
Springer
15 years 11 months ago
2009
Springer
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem a...
193
click to vote
ERSHOV
2009
Springer
15 years 4 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
210
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
188
click to vote
ICC
2007
IEEE
16 years 23 days ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...