CUDA Accelerated LTL Model Checking -­ Revisited

DOI10.4230/OASIcs.MEMICS.2010.1zbMath1247.68157OpenAlexW1588301455MaRDI QIDQ2917270

Milan Češka, Petr Bauch

Publication date: 28 September 2012

Full work available at URL: https://www.muni.cz/vyzkum/publikace/935862

zbMATH Keywords

CUDALTL model checkingOWCTY

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• DiVinE

This page was built for publication: CUDA Accelerated LTL Model Checking -­ Revisited