1356 search results - page 11 / 272 » The ideal of verified software |
60
Voted
ICFEM
2009
Springer
15 years 6 months ago
2009
Springer
FSTTCS
2004
Springer
15 years 5 months ago
2004
Springer
121
click to vote
LICS
1993
IEEE
15 years 3 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
110
click to vote
WOTE
2010
14 years 9 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
CSMR
2009
IEEE
15 years 6 months ago
2009
IEEE
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...