Search Sciweavers | Sciweavers

819 search results - page 30 / 164

» Fractal symbolic analysis

click to vote

FORMATS
2007
Springer

92views Formal Methods» more FORMATS 2007»

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

14 years 2 months ago

Download www.lsv.ens-cachan.fr

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

posted by susmitjha

Read More »

click to vote

FOSSACS
2007
Springer

186views Software Engineering» more FOSSACS 2007»

Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

14 years 2 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 »

click to vote

CAV
2004
Springer

93views Hardware» more CAV 2004»

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

14 years 2 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 »

click to vote

HYBRID
2004
Springer

117views Control Systems» more HYBRID 2004»

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

14 years 2 months ago

Download www.stanford.edu

Patrick Lincoln, Ashish Tiwari

claim paper

Read More »