Technical Reports
A List by Author: Jitka Crhová
- e-mail:
- xcrhova(a)fi.muni.cz
- home page:
- https://www.fi.muni.cz/~xcrhova
Using Assumptions to Distribute CTL Model Checking
by Lubo¹ Brim, Jitka Crhová, Karen Yorav, This is a full version of the paper presented at PDMC`02. October 2002, 22 pages.
FIMU-RS-2002-08. Available as Postscript, PDF.
Abstract:
In this work we discuss the problem of performing distributed CTL model
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.