Sciweavers

24 search results - page 1 / 5

» tacas 2009

7

TACAS
2009
Springer

111views Algorithms» more TACAS 2009»

The Complexity of Predicting Atomicity Violations

13 years 11 months ago

The Complexity of Predicting Atomicity Violations

Download www.cs.uiuc.edu

Azadeh Farzan, P. Madhusudan

claim paper

Read More »

7

TACAS
2009
Springer

95views Algorithms» more TACAS 2009»

Specification Mining with Few False Positives

13 years 11 months ago

Specification Mining with Few False Positives

Download www.cs.virginia.edu

Claire Le Goues, Westley Weimer

claim paper

Read More »

10

TACAS
2009
Springer

102views Algorithms» more TACAS 2009»

Memoised Garbage Collection for Software Model Checking

13 years 11 months ago

Memoised Garbage Collection for Software Model Checking

Download wwwhome.cs.utwente.nl

Viet Yen Nguyen, Theo C. Ruys

claim paper

Read More »

12

TACAS
2009
Springer

79views Algorithms» more TACAS 2009»

Symbolic String Verification: Combining String Analysis and Size Analysis

13 years 11 months ago

Symbolic String Verification: Combining String Analysis and Size Analysis

Download www.cs.ucsb.edu

Fang Yu, Tevfik Bultan, Oscar H. Ibarra

claim paper

Read More »

16

TACAS
2009
Springer

157views Algorithms» more TACAS 2009»

Alpaga: A Tool for Solving Parity Games with Imperfect Information

13 years 11 months ago

Alpaga: A Tool for Solving Parity Games with Imperfect Information

Download www.antichains.be

Alpaga is a solver for parity games with imperfect information. Given the description of a game, it determines whether the ﬁrst player can ensure to win and, if so, it constructs...

Dietmar Berwanger, Krishnendu Chatterjee, Martin D...

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »