Filtry
Using verified property to partition the state space in LTL model-checking
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Distributed Modular Model Checking (abstract)
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Property Driven Distribution of Nested DFS
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Distributed Explicit Bounded LTL Model Checking
IN - Informatika
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Replay Tracer & BMC
JC - Počítačový hardware a software
- 2010 •
- R
Rok uplatnění
R - Software
Model checking specifikací chování komponent: praktická zkušenost
Model checking specifikací chování komponent: praktická zkušenost...
JC - Počítačový hardware a software
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Bounded model checking v nástroji Java PathFinder
Článek se zabývá bounded model checkingem pro verifikaci programů se soubězností.
...
JC - Počítačový hardware a software
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
Distributed LTL Model-Checking in SPIN
JC - Počítačový hardware a software
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
Distributed LTL Model-Checking in SPIN
JC - Počítačový hardware a software
- 2000 •
- B
Rok uplatnění
B - Odborná kniha
Checking Sanity of Software Requirements
IN - Informatika
- 2012 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 z 60 154