Search Sciweavers | Sciweavers

10870 search results - page 248 / 2174

» Model Checking Programs

164

click to vote

CAV
2005
Springer

101views Hardware» more CAV 2005»

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

16 years 5 days ago

Download cs.nyu.edu

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

claim paper

Read More »

173

click to vote

CHARME
2005
Springer

128views Hardware» more CHARME 2005»

Real-Time Model Checking Is Really Simple

16 years 5 days ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

133

click to vote

FM
2005
Springer

81views Formal Methods» more FM 2005»

Operational Semantics for Model Checking Circus

16 years 5 days ago

Download www.cs.york.ac.uk

Jim Woodcock, Ana Cavalcanti, Leonardo Freitas

claim paper

Read More »

161

Voted

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

16 years 5 days ago

Download www.lsv.ens-cachan.fr

François Laroussinie, Jeremy Sproston

claim paper

Read More »

141

click to vote

SPIN
2005
Springer

95views Theoretical Computer Science» more SPIN 2005»

Memory Efficient State Space Storage in Explicit Software Model Checking

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers