 | From the Series از مجموعه : CSE Colloquia - 2002
Produced by تهيه كننده : University of Washington
Date تاريخ : 2002-10-24
Model Checking Software Artifactsdownload دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research Description توضيح : 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.
Related Links لينك‌های مرتبط : CSE web site
Model Checking Software Artifactsdownload دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research Speaker(s) اجرا : Matthew Dwyer, Kansas State University
Runtime مدت زمان : 00:57:33
Video Size حجم ويدئو : 538 MB
Number of Slides تعداد اسلايد‌ها : -
Model Checking Software Artifactsdownload دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research
|
