Search Sciweavers | Sciweavers

5216 search results - page 215 / 1044

» Planning as Model Checking

169

click to vote

TOCL
2011

87views more TOCL 2011»

The tractability of model checking for LTL: The good, the bad, and the ugly fragments

15 years 1 months ago

Download www.thi.uni-hannover.de

In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...

Michael Bauland, Martin Mundhenk, Thomas Schneider...

claim paper

Read More »

183

click to vote

MEMICS
2010

106views Theoretical Computer Science» more MEMICS 2010»

CUDA Accelerated LTL Model Checking - Revisited

15 years 1 months ago

Download www.memics.cz

Petr Bauch, Milan Ceska

claim paper

Read More »

265

click to vote

FMSD
2011

236views Formal Methods» more FMSD 2011»

Automatic analysis of DMA races using model checking and k-induction

14 years 10 months ago

Download www.philipp.ruemmer.org

Alastair F. Donaldson, Daniel Kroening, Philipp R&...

claim paper

Read More »

145

click to vote

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

14 years 9 months ago

Download www.kb.ecei.tohoku.ac.jp

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

claim paper

Read More »

250

click to vote

COMPSAC
2011
IEEE

251views Software Engineering» more COMPSAC 2011»

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

14 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers