Formal Techniques for Networked and Distributed Systems – FORTE 2008

1. Front Matter

   PDF

2. Invited Talk

   1. Model Generation for Horn Logic with Stratified Negation

      • Ethan K. Jackson, Wolfram Schulte

      Pages 1-20

3. Abstraction

   1. Counterexample Guided Spotlight Abstraction Refinement

      • Tobe Toben

      Pages 21-36

   2. An Experimental Evaluation of Probabilistic Simulation

      • Jonathan Bogdoll, Holger Hermanns, Lijun Zhang

      Pages 37-52

   3. An SMT Approach to Bounded Reachability Analysis of Model Programs

      • Margus Veanes, Nikolaj Bjørner, Alexander Raschke

      Pages 53-68

4. Verification

   1. Parameterized Tree Systems

      • Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine

      Pages 69-83

   2. Adapting Petri Nets Reductions to Promela Specifications

      • C. Pajault, J. -F. Pradat-Peyre, P. Rousseau

      Pages 84-98

   3. Verification of a Hierarchical Generic Mutual Exclusion Algorithm

      • Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry

      Pages 99-115

5. Specification Framework I

   1. Distributed Semantics and Implementation for Systems with Interaction and Priority

      • Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis

      Pages 116-133

   2. Checking Correctness of Transactional Behaviors

      • Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo

      Pages 134-148

   3. Specifying and Verifying Web Transactions

      • Jing Li, Huibiao Zhu, Jifeng He

      Pages 149-168

6. Application

   1. Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets

      • Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch

      Pages 169-184

   2. Program Repair Suggestions from Graphical State-Transition Specifications

      • Farn Wang, Chih-Hong Cheng

      Pages 185-200

   3. Verifying Erlang Telecommunication Systems with the Process Algebra μCRL

      • Qiang Guo, John Derrick, Csaba Hoch

      Pages 201-217

7. Specification Framework II

   1. NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements

      • Christian Webel, Reinhard Gotzhein, Joachim Nicolay

      Pages 218-233

   2. Timed Mobile Ambients for Network Protocols

      • Bogdan Aman, Gabriel Ciobanu

      Pages 234-250

   3. A Specification Framework for Earth-Friendly Logistics

      • Ichiro Satoh

      Pages 251-266

8. Theory

   1. A Hierarchy of Equivalences for Probabilistic Processes

      • Manuel Núñez, Luis Llana

      Pages 267-282

   2. Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations

      • David de Frutos Escrig, Miguel Palomino, Ignacio Fábregas

      Pages 283-298

9. Reliability of Networked Systems

   1. Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning

      • Guoqiang Shu, Yating Hsu, David Lee

      Pages 299-304

This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2008 was held at the Campus Innovation Center in Tokyo, Japan during June 10–13, 2008. FORTE denotes a series of international wo- ing conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both - ries were united to FORTE/PSTV in 1996. In 2001 the conference changed the name to its current form. Recent conferences of this long series were held in Berlin (2003), Madrid(2004), Taipei(2005), Paris(2006), and Tallinn(2007). As in the previous year, FORTE 2008 was collocated with TESTCOM/ FATES 2008: the 20th IFIP International Conference on Testing of Com- nicating Systems (TESTCOM) and the 8th International Workshop on Formal Approaches to Testing of Software (FATES). The co-location of FORTE and TESTCOM/FATES fostered the collaboration between their communities. The commonspiritofboth conferenceswasunderpinnedby jointopening andclosing sessions, invited talks, as well as joint social events.

• Erlang
• authenticity
• bisimulation
• concurrency
• distributed algorithm
• distributed computing
• distributed systems
• embedded systems
• exception handling
• formal languages
• formal method
• fuzz testing
• graph th
• security
• verification

Policies and ethics