Doing More with Less… Ontario Universities Computer Conference John Marrazzo JM Associates john @ higheredinfo.com .
The SPIN System. What is SPIN? Model-checker. Based on automata theory. Allows LTL or automata specification Efficient (on-the-fly model checking, partial.
QGP and Confinement XQCD 2010 Wilhelm and Else Heraeus Seminar Bad Honnef, June 21-23 X-QCD Japan (S.Motoki, K.Nagata, Y.Nakagawa, A. Nakamura and T.Saito)