Search Sciweavers | Sciweavers

493 search results - page 12 / 99

» Bounded LTL Model Checking with Stable Models

100

click to vote

FMICS
2008
Springer

104views Formal Methods» more FMICS 2008»

Local Quantitative LTL Model Checking

15 years 3 months ago

Download anna.fi.muni.cz

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

claim paper

Read More »

Voted

ICPADS
2010
IEEE

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

Employing Multiple CUDA Devices to Accelerate LTL Model Checking

14 years 12 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

14 years 11 months ago

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Milan Ceska

claim paper

Read More »

Voted

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

15 years 8 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

Voted

CAV
2008
Springer

104views Hardware» more CAV 2008»

Semi-external LTL Model Checking

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers