Search Sciweavers | Sciweavers

126 search results - page 8 / 26

» Semi-external LTL Model Checking

130

click to vote

APN
2008
Springer

137views Artificial Intelligence» more APN 2008»

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

15 years 5 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 »

145

click to vote

MEMICS
2010

106views Theoretical Computer Science» more MEMICS 2010»

CUDA Accelerated LTL Model Checking - Revisited

14 years 9 months ago

Download www.memics.cz

Petr Bauch, Milan Ceska

claim paper

Read More »

101

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

15 years 9 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

15 years 9 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

100

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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers