🚀 go-pugleaf

University of Colorado at Boulder
Department of Computer Science
ECOT 717 Engineering Center
Campus Box 430
Boulder, Colorado 803090430
(303) 4927514, FAX: (303) 4922844

CS COLLOQUIUM
Coverage Metrics for Model Checking
Orna Kupferman
Hebrew University, Israel
NOTE:  Time, Day & Location Change

Friday, August 3, 2001
4:00  5:00 PM
Engineering Center Conference Room 831

Refreshments will be served in ECOT 832



In formal verification, we verify that a system is correct with respect to 
a specification. When verification succeeds and the system is proven to be 
correct, there is still a question of how complete the specification is, 
and whether it really covers all the behaviors of the system. Coverage 
metrics are based on modifications we apply to the system in order to check 
which parts of it were actually relevant for the verification process to 
succeed. Coverage metrics are successfully used in simulation-based 
verification. In the talk, I will discuss coverage metrics for model 
checking. I will describe some principle that we believe should be part of 
any coverage metric for model checking, suggest several coverage metrics 
that apply these principles, and describe algorithms for finding the 
uncovered parts of a system under these definitions.

Joint work with Hana Chockler, Robert Kurshan, and Moshe Vardi.



Host:  Fabio Somenzi, Electrical & Computer Engineering
------------------------------
http://www.cs.colorado.edu/department/events/colloquia/colloquia.html

Sign Language Interpreters Available Upon Request.  Please contact Jane 
Obrecht, Department of
Computer Science, Engineering  ECOT 722, 303-492-6101, at least five days 
prior to the colloquium.

_______________________________________________
cscolloq mailing list
cscolloq@cs.colorado.edu
http://www.cs.colorado.edu/mailman/listinfo/cscolloq