Search Sciweavers | Sciweavers

2873 search results - page 150 / 575

» Model Checking and the Mu-calculus

155

Voted

ISORC
2005
IEEE

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

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

15 years 9 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 »

150

Voted

LICS
2005
IEEE

124views Automated Reasoning» more LICS 2005»

Model-Checking Hierarchical Structures

15 years 9 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 »

135

Voted

CAV
2005
Springer

101views Hardware» more CAV 2005»

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

15 years 9 months ago

Download cs.nyu.edu

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

claim paper