Formal techniques for networked and distributed systems

More about the book

These proceedings feature papers from the 27th FORTE conference, which focuses on Formal Techniques for Networked and Distributed Systems. This international annual event combines the former PSTV (Protocol Specification Testing and Verification) and FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences, with PSTV's inaugural meeting in 1981 and FORTE's in 1988. The two conferences merged in 1996 and have been known as FORTE since 2001. The conference serves as a platform for discussing advancements in theory, applications, tools, and the industrialization of formal methods. Over the years, FORTE has taken place in various locations, including Pisa, Cheju Island, Houston, Berlin, Madrid, Paris, Taiwan, and most recently, Tallinn, Estonia. Sponsored by Working Group 6.1 of Technical Committee 6 (TC6) of the International Federation for Information Processing (IFIP), FORTE is a flagship event for WG6.1, addressing key themes such as formal description techniques, open distributed systems, and quality of service. WG6.1 also provided a Best Paper Award and funding to support student participation. The 27th conference occurred from June 26–29, 2007, in the historical Brotherhood of the Black Heads building in Tallinn.