| |
| | SPIN NEWSLETTER Nr. 7 (Site not responding. Last check: 2007-09-11) |
 | | The implementation is based on the algorithm by Rob Gerth, Doron Peled, Moshe Vardi, and Pierre Wolper, which is more fully described in their paper `Simple on-the-fly automatic verification of linear temporal logic,' presented at the IFIP/PSTV Conference, Warsaw, Poland, June 1995. |
 | | Thierry Cattel, Hakan Erdogmus, Michael Ferguson, Patrice Godefroid, Jean-Charles Gregoire, Gerard J. Holzmann, Stefan Leue (to be confirmed), Fuchun Joseph Lin, Roberto Manione (to be confirmed), Doron Peled, Mark Staskauskas. |
 | | The presentations planned so far will focus on modeling feature interaction problems (Lin), LTL model checking and partial order reduction techniques (Godefroid, Peled), applications of bitstate hashing techniques (Staskauskas), hybrid verification (Gregoire), extensions of SPIN (Manione, Erdogmus), application experiences (Cattel), and generic extendability issues. |
| netlib.bell-labs.com /netlib/spin/news/news7.html (1364 words) |
|