Volume 43, 2001

Formal Methods Elsewhere - A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other thancommunication protocols and software engineering

• 
  John M. Rushby: Analyzing Cockpit Interfaces Using Formal Methods. 1-14
• 
  Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller: Can American Checkers be Solved by Means of Symbolic Model Checking? 15-33
• 
  Nikolay V. Shilov, Kwang Yi: Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers. 34-49
• 
  David A. Duce, David J. Duke: Syndetic Modelling: Computer Science Meets Cognitive Psychology. 50-74
• 
  Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink: Formal Verification in the Design of Gestural Interaction. 75-96
• 
  Howard Bowman, Giorgio P. Faconti, Mieke Massink: Towards Integrated Cognitive and Interface Analysis. 97-112
• 
  Kenneth J. Turner: The N-Body Problem in LOTOS. 113-135
• 
  Michael Newton: Grammatical Specification in ASL: Germanic Dependent Clause Order. 136-151
• 
  Graziella Tonfoni: CTML - A Context Transport Mark-up Language for Formalization and Verification of Legal, Medical and Bureaucratic and Safety procedures and Protocols. 152-161
• 
  Howard Bowman: Formal Methods Elsewhere - A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering. 162-163