1833 search results - page 13 / 367 » Mechanized Verification with Sharing |
SIAMCOMP
2008
13 years 10 months 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...
TCS
2008
13 years 10 months ago
2008
ORL
2010
13 years 5 months ago
2010
SIGSOFT
2010
ACM
13 years 5 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...
FAST
2009
13 years 8 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...