Search Sciweavers | Sciweavers

493 search results - page 12 / 99

» Bounded LTL Model Checking with Stable Models

109

click to vote

FMICS
2008
Springer

104views Formal Methods» more FMICS 2008»

Local Quantitative LTL Model Checking

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

15 years 26 days 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

15 years 22 days 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

15 years 9 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

100

click to vote

CAV
2008
Springer

104views Hardware» more CAV 2008»

Semi-external LTL Model Checking

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers