Search Sciweavers | Sciweavers

3387 search results - page 232 / 678

» Model-Checking for Real-Time Systems

185

click to vote

BIRTHDAY
2004
Springer

109views Applied Computing» more BIRTHDAY 2004»

On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations

15 years 10 months ago

Download www.comlab.ox.ac.uk

Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...

Ranko Lazic, Thomas Christopher Newcomb, A. W. Ros...

claim paper

Read More »

167

click to vote

TACAS
2000
Springer

96views Algorithms» more TACAS 2000»

On Memory-Block Traversal Problems in Model-Checking Timed-Systems

15 years 10 months ago

Download www.brics.dk

Fredrik Larsson, Paul Pettersson, Wang Yi

claim paper

Read More »

162

click to vote

CBSE
2008
Springer

125views Software Engineering» more CBSE 2008»

Model Checking of Control-User Component-Based Parametrised Systems

15 years 9 months ago

Download www.fi.muni.cz

Pavlína Vareková, Ivana Cerná

claim paper

Read More »

152

click to vote

FMCAD
2008
Springer

78views Formal Methods» more FMCAD 2008»

Model Checking Nash Equilibria in MAD Distributed Systems

15 years 8 months ago

Download www.cs.utexas.edu

Federico Mari, Igor Melatti, Ivano Salvo, Enrico T...

claim paper

Read More »

156

click to vote

FORTE
2007

127views Formal Methods» more FORTE 2007»

Testing Distributed Systems Through Symbolic Model Checking

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers