Search Sciweavers | Sciweavers

5015 search results - page 167 / 1003

» Model Checking a Path

181

click to vote

LICS
2005
IEEE

124views Automated Reasoning» more LICS 2005»

Model-Checking Hierarchical Structures

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

156

click to vote

CAV
2005
Springer

101views Hardware» more CAV 2005»

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

15 years 12 months ago

Download cs.nyu.edu

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

claim paper

Read More »

142

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 12 months ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

164

click to vote

CHARME
2005
Springer

128views Hardware» more CHARME 2005»

Real-Time Model Checking Is Really Simple

15 years 12 months ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

111

click to vote

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers