Search Sciweavers | Sciweavers

4341 search results - page 190 / 869

» Quantitative Model checking

click to vote

ICCAD
2005
IEEE

140views Hardware» more ICCAD 2005»

Embedded tutorial: formal equivalence checking between system-level models and RTL

14 years 4 months ago

Download www2.iccad.com

Alfred Koelbl, Yuan Lu, Anmol Mathur

claim paper

Read More »

click to vote

ISORC
2005
IEEE

197views Distributed And Parallel Com...» more ISORC 2005»

Model-Checking of Component-Based Event-Driven Real-Time Embedded Software

14 years 4 months ago

Download www.cs.virginia.edu

As complexity of real-time embedded software grows, it is desirable to use formal veriﬁcation techniques to achieve a high level of assurance. We discuss application of model-ch...

Zonghua Gu, Kang G. Shin

claim paper

Read More »

click to vote

LICS
2005
IEEE

124views Automated Reasoning» more LICS 2005»

Model-Checking Hierarchical Structures

14 years 4 months ago

Download www.informatik.uni-leipzig.de

Hierarchical graph deﬁnitions allow a modular description of graphs using modules for the speciﬁcation of repeated substructures. Beside this modularity, hierarchical graph de...

Markus Lohrey

claim paper

Read More »

click to vote

CAV
2005
Springer

101views Hardware» more CAV 2005»

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

14 years 4 months ago

Download cs.nyu.edu

Carla Piazza, Marco Antoniotti, Venkatesh Mysore, ...

claim paper

Read More »