CAV 2008 | Sciweavers

10

click to vote

CAV
2008
Springer

106views Hardware» more CAV 2008»

Computing Differential Invariants of Hybrid Systems as Fixedpoints

13 years 6 months ago

Download reports-archive.adm.cs.cmu.edu

André Platzer, Edmund M. Clarke

claim paper

Read More »

17

click to vote

CAV
2008
Springer

108views Hardware» more CAV 2008»

Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis

13 years 6 months ago

Download pages.cs.wisc.edu

This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...

Akash Lal, Thomas W. Reps

claim paper

Read More »

8

click to vote

CAV
2008
Springer

110views Hardware» more CAV 2008»

Monotonic Abstraction for Programs with Dynamic Memory Heaps

13 years 6 months ago

Download www.liafa.jussieu.fr

c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr

Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Ced...

claim paper

Read More »

12

click to vote

CAV
2008
Springer

143views Hardware» more CAV 2008»

Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems

13 years 6 months ago

Download www.ti.inf.uni-due.de

We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...

Salil Joshi, Barbara König

claim paper

Read More »

9

click to vote

CAV
2008
Springer

110views Hardware» more CAV 2008»

Abstract Interpretation with Applications to Timing Validation

13 years 6 months ago

Download rw4.cs.uni-sb.de

Reinhard Wilhelm, Björn Wachter

claim paper