Search Sciweavers | Sciweavers

6608 search results - page 221 / 1322

» On the Completeness of Model Checking

147

click to vote

FAW
2008
Springer

111views Algorithms» more FAW 2008»

Efficient First-Order Model-Checking Using Short Labels

15 years 7 months ago

Download www.labri.fr

We prove that there exists an O(log(n))-labeling scheme for every first-order formula with free set variables in every class of graphs that is nicely locally cwd-decomposable, whic...

Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...

claim paper

Read More »

124

click to vote

FMCAD
2008
Springer

78views Formal Methods» more FMCAD 2008»

Model Checking Nash Equilibria in MAD Distributed Systems

15 years 7 months ago

Download www.cs.utexas.edu

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

claim paper

Read More »

154

click to vote

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

15 years 7 months ago

Download www.contrib.andrew.cmu.edu

Arie Gurfinkel, Sagar Chaki

claim paper

Read More »

132

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

15 years 7 months ago

Download www.mbsd.cs.ru.nl

Jasper Berendsen, Frits W. Vaandrager

claim paper

Read More »

129

click to vote

FORTE
2007

127views Formal Methods» more FORTE 2007»

Testing Distributed Systems Through Symbolic Model Checking

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers