Search Sciweavers | Sciweavers

3224 search results - page 227 / 645

» On Checking Model Checkers

206

click to vote

LICS
2005
IEEE

124views Automated Reasoning» more LICS 2005»

Model-Checking Hierarchical Structures

16 years 20 days 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 »

179

click to vote

CAV
2005
Springer

101views Hardware» more CAV 2005»

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

16 years 19 days ago

Download cs.nyu.edu

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

claim paper

Read More »

161

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

16 years 19 days ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

182

click to vote

CHARME
2005
Springer

128views Hardware» more CHARME 2005»

Real-Time Model Checking Is Really Simple

16 years 19 days ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

125

Voted

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

16 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers