Sciweavers

30 search results - page 1 / 6

» tacas 2007

12

TACAS
2007
Springer

89views Algorithms» more TACAS 2007»

THERE AND BACK AGAIN: Lessons Learned on the Way to the Market

13 years 10 months ago

THERE AND BACK AGAIN: Lessons Learned on the Way to the Market

Download www.kurims.kyoto-u.ac.jp

Rance Cleaveland

claim paper

Read More »

7

TACAS
2007
Springer

126views Algorithms» more TACAS 2007»

Kodkod: A Relational Model Finder

13 years 10 months ago

Kodkod: A Relational Model Finder

Download alloy.mit.edu

Emina Torlak, Daniel Jackson

claim paper

Read More »

9

TACAS
2007
Springer

104views Algorithms» more TACAS 2007»

Optimized L*-Based Assume-Guarantee Reasoning

13 years 10 months ago

Optimized L*-Based Assume-Guarantee Reasoning

Download www.sei.cmu.edu

Sagar Chaki, Ofer Strichman

claim paper

Read More »

7

TACAS
2007
Springer

99views Algorithms» more TACAS 2007»

Assume-Guarantee Synthesis

13 years 10 months ago

Assume-Guarantee Synthesis

Download www.eecs.berkeley.edu

Krishnendu Chatterjee, Thomas A. Henzinger

claim paper

Read More »

7

TACAS
2007
Springer

99views Algorithms» more TACAS 2007»

Improved Algorithms for the Automata-Based Approach to Model-Checking

13 years 10 months ago

Improved Algorithms for the Automata-Based Approach to Model-Checking

Download mtc.epfl.ch

Laurent Doyen, Jean-François Raskin

claim paper

Read More »

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