Filtry
Výsledek výzkumu
Cluster-Based I/O-Efficient LTL Model Checking
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Výsledek výzkumu
Local Quantitative LTL Model Checking
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Výsledek výzkumu
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
IN - Informatika
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Výsledek výzkumu
Model Checking Parallel Programs with Inputs
IN - Informatika
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Výsledek výzkumu
Distributed Qualitative LTL Model Checking of Markov Decision Processes
IN - Informatika
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Výsledek výzkumu
Parallel Partial Order Reduction with Topological Sort Proviso
IN - Informatika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Výsledek výzkumu
Paralelní ověřování modelu
A summary of methods and techiques for parallel and distributed model checking of LTL formulae is given.
IN - Informatika
- 2004 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek výzkumu
CUDA Accelerated LTL Model Checking - Revisited
IN - Informatika
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
Výsledek výzkumu
Distributed LTL Model-Checking Based on Negative Cycle Detection
JC - Počítačový hardware a software
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
Výsledek výzkumu
Distributed Explicit Bounded LTL Model Checking
IN - Informatika
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 z 62 113