Search Sciweavers | Sciweavers

1472 search results - page 29 / 295

» On Model Checking Infinite-State Systems

158

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 »

155

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

15 years 12 months ago

Download www.lsv.ens-cachan.fr

François Laroussinie, Jeremy Sproston

claim paper

Read More »

123

Voted

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 12 months ago

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

128

click to vote

FATES
2004
Springer

86views Software Engineering» more FATES 2004»

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components

15 years 11 months ago

Download www.eecs.wsu.edu

Gaoyan Xie, Zhe Dang

claim paper

Read More »

142

click to vote

FDL
2003
IEEE

101views Natural Language Processing» more FDL 2003»

Combining Formal Refinement and Model Checking for Real-Time Systems Verification

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers