Search Sciweavers | Sciweavers

493 search results - page 12 / 99

» Bounded LTL Model Checking with Stable Models

click to vote

FMICS
2008
Springer

104views Formal Methods» more FMICS 2008»

Local Quantitative LTL Model Checking

13 years 8 months ago

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Ivana Cerná, Milan...

claim paper

Read More »

click to vote

ICPADS
2010
IEEE

145views Distributed And Parallel Com...» more ICPADS 2010»

Employing Multiple CUDA Devices to Accelerate LTL Model Checking

13 years 5 months ago

Download www.memics.cz

Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska

claim paper

Read More »

click to vote

CORR
2009
Springer

85views Education» more CORR 2009»

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

13 years 5 months ago

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Milan Ceska

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 2 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

click to vote

CAV
2008
Springer

104views Hardware» more CAV 2008»

Semi-external LTL Model Checking

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers