Guest lectures
State-based safety analysis
Formal development of a radiation therapy machine
Short courses
Z notation
Data structures and algorithms with examples in Perl
(also in
Spanish
)
Loop invariants, correctness and program derivation in Perl
Model-based testing with Spec# and Spec Explorer
Jon Jacky
,
jon@u.washington.edu