Search Sciweavers | Sciweavers

2872 search results - page 148 / 575

» On (Omega-)Regular Model Checking

202

click to vote

LICS
2005
IEEE

124views Automated Reasoning» more LICS 2005»

Model-Checking Hierarchical Structures

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

169

click to vote

CAV
2005
Springer

101views Hardware» more CAV 2005»

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

16 years 11 days ago

Download cs.nyu.edu

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

claim paper

Read More »

151

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

16 years 11 days ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

176

click to vote

CHARME
2005
Springer

128views Hardware» more CHARME 2005»

Real-Time Model Checking Is Really Simple

16 years 11 days ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

119

click to vote

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers