Electronic Notes in Theoretical Computer Science, Volume 43

Volume 43, 2001

• 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.
  
• John M. Rushby:
  Analyzing Cockpit Interfaces Using Formal Methods.
  
• Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller:
  Can American Checkers be Solved by Means of Symbolic Model Checking?
  
• Nikolay V. Shilov, Kwang Yi:
  Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers.
  
• David A. Duce, David J. Duke:
  Syndetic Modelling: Computer Science Meets Cognitive Psychology.
  
• Gavin J. Doherty, Giorgio P. Faconti, Mieke Massink:
  Formal Verification in the Design of Gestural Interaction.
  
• Howard Bowman, Giorgio P. Faconti, Mieke Massink:
  Towards Integrated Cognitive and Interface Analysis.
  
• Kenneth J. Turner:
  The N-Body Problem in LOTOS.
  
• Michael Newton:
  Grammatical Specification in ASL: Germanic Dependent Clause Order.
  
• Graziella Tonfoni:
  CTML - A Context Transport Mark-up Language for Formalization and Verification of Legal, Medical and Bureaucratic and Safety procedures and Protocols.