Search Sciweavers | Sciweavers

981 search results - page 41 / 197

» Symbolic pointer analysis

115

click to vote

FORMATS
2007
Springer

92views Formal Methods» more FORMATS 2007»

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

15 years 10 months ago

Download www.lsv.ens-cachan.fr

Susmit Jha, Bryan A. Brady, Sanjit A. Seshia

posted by susmitjha

Read More »

158

Voted

FOSSACS
2007
Springer

186views Software Engineering» more FOSSACS 2007»

Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

15 years 10 months ago

Download www.comlab.ox.ac.uk

Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...

Matthew Hague, C.-H. Luke Ong

claim paper

Read More »

138

click to vote

CAV
2004
Springer

93views Hardware» more CAV 2004»

Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures

15 years 10 months ago

Download cc.ee.ntu.edu.tw

—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...

Farn Wang

claim paper

Read More »

123

click to vote

HYBRID
2004
Springer

117views Control Systems» more HYBRID 2004»

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

15 years 10 months ago

Download www.stanford.edu

Patrick Lincoln, Ashish Tiwari

claim paper