From: XU Xing Wen (xuxingwen_at_fuji.waseda.jp)
Date: Fri Dec 03 2004 - 23:20:35 MST
Thanks Fabio. Then I'm looking forward to V2.1.
Also I'm trying to develop a transition-based coverage
estimation for model checking upon VIS.
My basic idea is that properties be viewed as constraints
on witness paths and one transition be considered covered if
it is somewhat constrained.
I'm wondering if it's possible for me to get discussion or
cooperation with the developers of coverage estimation in VIS.
I'm a ph.d student in Waseda University, Japan.
Thank you very much.
-----Original Message-----
From: owner-vis-users_at_lists.colorado.edu
[mailto:owner-vis-users_at_lists.colorado.edu] On Behalf Of Fabio Somenzi
Sent: 2004年12月3日 20:10
To: vis-users_at_lists.colorado.edu
Subject: Re: About coverage estimation of SMC
>>>>> "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 - 23:23:32 MST