Search Sciweavers | Sciweavers

1615 search results - page 28 / 323

» Distributed Forward Checking

click to vote

FMCAD
2004
Springer

112views Formal Methods» more FMCAD 2004»

Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking

15 years 9 months ago

Download www.fi.muni.cz

Lubos Brim, Ivana Cerná, Pavel Moravec 0002...

claim paper

Read More »

click to vote

FMCAD
2008
Springer

78views Formal Methods» more FMCAD 2008»

Model Checking Nash Equilibria in MAD Distributed Systems

15 years 5 months ago

Download www.cs.utexas.edu

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

claim paper

Read More »

111

click to vote

FORTE
2007

127views Formal Methods» more FORTE 2007»

Testing Distributed Systems Through Symbolic Model Checking

15 years 5 months ago

Download www.ulb.ac.be

Gabriel Kalyon, Thierry Massart, Cédric Meu...

claim paper

Read More »

133

click to vote

HASE
2008
IEEE

146views Control Systems» more HASE 2008»

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions

15 years 5 months ago

Download www.eecs.berkeley.edu

Sumit Kumar Jha, Susmit Jha

posted by susmitjha

Read More »

click to vote

ENTCS
2002

56views more ENTCS 2002»

Using Assumptions to Distribute CTL Model Checking

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers