Search Sciweavers | Sciweavers

819 search results - page 33 / 164

» Fractal symbolic analysis

click to vote

TACAS
2000
Springer

87views Algorithms» more TACAS 2000»

Symbolic Reachability Analysis Based on SAT-Solvers

14 years 6 days ago

Download www.een.se

Parosh Aziz Abdulla, Per Bjesse, Niklas Eén

claim paper

Read More »

click to vote

ICCAD
1991
IEEE

100views Hardware» more ICCAD 1991»

Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis

14 years 4 days ago

Download reference.kfupm.edu.sa

The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...

Randal E. Bryant

claim paper

Read More »

click to vote

FMCAD
2008
Springer

77views Formal Methods» more FMCAD 2008»

Symbolic Program Analysis Using Term Rewriting and Generalization

13 years 10 months ago

Download www.nec-labs.com

Nishant Sinha

claim paper

Read More »

click to vote

AUTOMATICA
2008

74views more AUTOMATICA 2008»

Symbolic reachability analysis of genetic regulatory networks using discrete abstractions

13 years 8 months ago

Download www-rocq.inria.fr

screte abstractions Gr

Grégory Batt, Hidde de Jong, Michel Page, J...

claim paper

Read More »

click to vote

CORR
2006
Springer

57views Education» more CORR 2006»

On Verifying Complex Properties using Symbolic Shape Analysis

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers