Sciweavers

499 search results - page 13 / 100

» LTL satisfiability checking

138

FMICS
2008
Springer

104views Formal Methods» more FMICS 2008»

Local Quantitative LTL Model Checking

15 years 7 months ago

Local Quantitative LTL Model Checking

Download anna.fi.muni.cz

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

claim paper

Read More »

129

ICPADS
2010
IEEE

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

Employing Multiple CUDA Devices to Accelerate LTL Model Checking

15 years 3 months ago

Employing Multiple CUDA Devices to Accelerate LTL Model Checking

Download www.memics.cz

Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska

claim paper

Read More »

112

CORR
2009
Springer

85views Education» more CORR 2009»

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

15 years 3 months ago

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

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Milan Ceska

claim paper

Read More »

175

MEMICS
2010

106views Theoretical Computer Science» more MEMICS 2010»

CUDA Accelerated LTL Model Checking - Revisited

15 years 18 days ago

CUDA Accelerated LTL Model Checking - Revisited

Download www.memics.cz

Petr Bauch, Milan Ceska

claim paper

Read More »

150

ATVA
2010
Springer

217views Hardware» more ATVA 2010»

LTL Can Be More Succinct

15 years 7 months ago

LTL Can Be More Succinct

Download www.imsc.res.in

Abstract. It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be e...

Kamal Lodaya, A. V. Sreejith

claim paper

Read More »

« Prev « First page 13 / 100 Last » Next »