From: Fabio Somenzi (Fabio_at_colorado.edu)
Date: Fri Dec 03 2004 - 04:10:05 MST
>>>>> "XXW" == XU Xing Wen <xuxingwen_at_fuji.waseda.jp> writes:
XXW> Dear VIS users and developers:
XXW> I'm developing coverage metrics for SMC.
XXW> In paper "Dos and Don'ts of CTL State Coverage Estimation",
XXW> It was said that "All experiments were run with VIS2.0 which
XXW> we have extended with both the original and improved coverage
XXW> algorithms".
XXW> I downloaded VIS2.0 but did not find the coverage algorithms.
XXW> Is there any possible release of the coverage algorithms?
XXW> Thanks&Regards.
XXW> Xingwen Xu Dec/3/2004
Coverage estimation for CTL was developed on top of the 2.0 release
and will be in VIS 2.1, which is due out soon.
Fabio
This archive was generated by hypermail 2.1.7 : Fri Dec 03 2004 - 04:15:16 MST