UWTV Program: Model Checking Software Artifacts

Search:

Search for information by:

Note: Selected programs are available for streaming download per agreement with the original media source.

Sponsored by:

Model Checking Software Artifacts

	Model checking techniques have proven to be an effective means for finding subtle defects in hardware designs and communication protocols. In this talk, Matthew Dwyer describes Bandera, a toolset for model checking Java programs, and how our experiences developing and using the system have evolved. The Cadena toolset will also be described: it supports the definition of event-driven component-based designs, model checking properties of those designs, and checking the conformance of component designs and implementations.



	* Help?


Series Title:	CSE Colloquia - 2002
Subject(s):	Engineering and Computer Science
Speaker(s):	Matthew Dwyer, Kansas State University
Related Link(s):	CSE web site
Production Date:	10/24/2002
Runtime:	00:57:33
Rating:	TV-G

Support for UWTV is provided by:

What would you like to watch during UWTV’s Viewers' Choice on Saturday, Feb. 13?(poll)

Email us with comments or questions or call 888-616-UWTV