Compiled from the proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002, this volume contains 22 revised full papers, 2 tool papers, and 2 posters. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems.We define the validity of test cases with respect to such a formal test purpose and provide a simple decision procedure for validity. ... Other approaches focus on the manual or automated simulation against a formal specification (see  for a anbsp;...
|Title||:||Formal Techniques for Networked and Distributed Systems - FORTE 2002|
|Author||:||Doron A. Peled, Moshe Y. Vardi|
|Publisher||:||Springer Science & Business Media - 2002-10-28|