Search Sciweavers | Sciweavers

126 search results - page 8 / 26

» Semi-external LTL Model Checking

click to vote

APN
2008
Springer

137views Artificial Intelligence» more APN 2008»

MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs

13 years 10 months ago

Download pagesperso-systeme.lip6.fr

Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...

Kais Klai, Denis Poitrenaud

claim paper

Read More »

click to vote

MEMICS
2010

106views Theoretical Computer Science» more MEMICS 2010»

CUDA Accelerated LTL Model Checking - Revisited

13 years 3 months ago

Download www.memics.cz

Petr Bauch, Milan Ceska

claim paper

Read More »

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

14 years 3 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

click to vote

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

14 years 3 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

click to vote

ISOLA
2007
Springer

120views Formal Methods» more ISOLA 2007»

Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers