Sciweavers

493 search results - page 12 / 99
» Bounded LTL Model Checking with Stable Models
Sort
View
FMICS
2008
Springer
14 years 11 months ago
Local Quantitative LTL Model Checking
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan...
ICPADS
2010
IEEE
14 years 7 months ago
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
CORR
2009
Springer
85views Education» more  CORR 2009»
14 years 7 months ago
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
Jiri Barnat, Lubos Brim, Milan Ceska
CAV
2008
Springer
104views Hardware» more  CAV 2008»
14 years 11 months ago
Semi-external LTL Model Checking
Stefan Edelkamp, Peter Sanders, Pavel Simecek