Search Sciweavers | Sciweavers

3147 search results - page 206 / 630

» Open-Source Model Checking

102

click to vote

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

15 years 4 months ago

Download www.mbsd.cs.ru.nl

Jasper Berendsen, Frits W. Vaandrager

claim paper

Read More »

click to vote

FORTE
2007

127views Formal Methods» more FORTE 2007»

Testing Distributed Systems Through Symbolic Model Checking

15 years 4 months ago

Download www.ulb.ac.be

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

claim paper

Read More »

101

click to vote

DAGSTUHL
2006

122views Software Engineering» more DAGSTUHL 2006»

06172 Abstracts Collection -- Directed Model Checking

15 years 4 months ago

Download drops.dagstuhl.de

Stefan Edelkamp, Stefan Leue, Willem Visser

claim paper

Read More »

click to vote

EUMAS
2006

107views Intelligent Agents» more EUMAS 2006»

Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete

15 years 4 months ago

Download www.in.tu-clausthal.de

Wojciech Jamroga, Jürgen Dix

claim paper

Read More »

click to vote

AIPS
1998

81views Artificial Intelligence» more AIPS 1998»

Strong Planning in Non-Deterministic Domains Via Model Checking

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers