1833 search results - page 13 / 367 » Mechanized Verification with Sharing |
SIAMCOMP
2008
15 years 17 days ago
2008
We consider a game-theoretical variant of the Steiner forest problem in which each player j, out of a set of k players, strives to connect his terminal pair (sj, tj) of vertices in...
62
Voted
TCS
2008
15 years 17 days ago
2008
86
Voted
ORL
2010
14 years 7 months ago
2010
95
Voted
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
115
Voted
FAST
2009
14 years 10 months ago
2009
Provenance capture as applied to execution oriented and interactive workflows is designed to record minute detail needed to support a "modify and restart" paradigm as we...