2.1 Analysis of State Machines
Download:
|
|
by Somesh Jha
http://www.cs.wisc.edu/~jha/analysis-course/course-document.ps
Add To MetaCart
Abstract:
implementation, and testing. Artifacts such as message sequence charts, state machines, code, and test plans are produced during each phase of the process. The purpose of this course is to provide analysis techniques for analyzing various artifacts produced during this process. The course will concentrate on techniques that are formal and can be automated.
Citations
| 432 | Bandera: extracting finite-state models from Java source code – Corbett, Dwyer, et al. - 2000 |
| 177 | Modeling Reactive Systems with Statechart – Harel, Politi - 1998 |
| 114 | The Unified Modeling Language User Guide (Addison-Wesley – Booch, Rumbaugh, et al. - 1999 |
| 101 | Model checking large software specifications – Anderson, Beame, et al. - 1996 |
