Issue 3/2011
HVC 2008
Content (6 Articles)
HVC 2008
Evaluating workloads using comparative functional coverage
Yoram Adler, Dale Blue, Thomas Conti, Richard Prewitt, Shmuel Ur
HVC 2008
Automatic boosting of cross-product coverage using Bayesian networks
Dorit Baras, Shai Fine, Laurent Fournier, Dan Geiger, Avi Ziv
HVC 2008
Reducing the size of resolution proofs in linear time
Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman
HVC 2008
A uniform approach to three-valued semantics for μ-calculus on abstractions of hybrid automata
K. Bauer, R. Gentilini, K. Schneider