Sciweavers

9 search results - page 1 / 2

» tacas 2001

11

TACAS
2001
Springer

107views Algorithms» more TACAS 2001»

Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation

13 years 9 months ago

Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation

Download www-users.cs.york.ac.uk

Gianfranco Ciardo, Gerald Lüttgen, Radu Simin...

claim paper

Read More »

9

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

13 years 9 months ago

Boolean and Cartesian Abstraction for Model Checking C Programs

Download www.inf.uni-konstanz.de

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

claim paper

Read More »

11

TACAS
2001
Springer

84views Algorithms» more TACAS 2001»

A Technique for Invariant Generation

13 years 9 months ago

A Technique for Invariant Generation

Download www.csl.sri.com

Ashish Tiwari, Harald Rueß, Hassen Saïd...

claim paper

Read More »

12

TACAS
2001
Springer

111views Algorithms» more TACAS 2001»

Linear Parametric Model Checking of Timed Automata

13 years 9 months ago

Linear Parametric Model Checking of Timed Automata

Download www.brics.dk

Thomas Hune, Judi Romijn, Mariëlle Stoelinga,...

claim paper

Read More »

15

TACAS
2001
Springer

160views Algorithms» more TACAS 2001»

Hardware/Software Co-Design Using Functional Languages

13 years 9 months ago

Hardware/Software Co-Design Using Functional Languages

Download www.cl.cam.ac.uk

In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...

Alan Mycroft, Richard Sharp

claim paper

Read More »

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