About coverage estimation of SMC

From: XU Xing Wen (xuxingwen_at_fuji.waseda.jp)
Date: Fri Dec 03 2004 - 00:45:15 MST

• Next message: Fabio Somenzi: "Re: About coverage estimation of SMC"
• Previous message: Fabio Somenzi: "Re: how to turn off reachabilty analysis in model checking(without guided search)?"
• Next in thread: Fabio Somenzi: "Re: About coverage estimation of SMC"
• Reply: Fabio Somenzi: "Re: About coverage estimation of SMC"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Dear VIS users and developers:
 
I'm developing coverage metrics for SMC.
In paper "Dos and Don'ts of CTL State Coverage Estimation",
It was said that "All experiments were run with VIS2.0 which
we have extended with both the original and improved coverage
algorithms".
I downloaded VIS2.0 but did not find the coverage algorithms.
Is there any possible release of the coverage algorithms?
 
Thanks&Regards.
 
Xingwen Xu Dec/3/2004
 
 
 

• Next message: Fabio Somenzi: "Re: About coverage estimation of SMC"
• Previous message: Fabio Somenzi: "Re: how to turn off reachabilty analysis in model checking(without guided search)?"
• Next in thread: Fabio Somenzi: "Re: About coverage estimation of SMC"
• Reply: Fabio Somenzi: "Re: About coverage estimation of SMC"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Fri Dec 03 2004 - 00:50:51 MST