Sciweavers

9 search results - page 1 / 2

» tacas 2001

15

TACAS
2001
Springer

107views Algorithms» more TACAS 2001»

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

13 years 10 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 »

13

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

13 years 10 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 »

14

TACAS
2001
Springer

84views Algorithms» more TACAS 2001»

A Technique for Invariant Generation

13 years 10 months ago

A Technique for Invariant Generation

Download www.csl.sri.com

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

claim paper

Read More »

15

TACAS
2001
Springer

111views Algorithms» more TACAS 2001»

Linear Parametric Model Checking of Timed Automata

13 years 10 months ago

Linear Parametric Model Checking of Timed Automata

Download www.brics.dk

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

claim paper

Read More »

21

TACAS
2001
Springer

160views Algorithms» more TACAS 2001»

Hardware/Software Co-Design Using Functional Languages

13 years 10 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 »