Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Formal Techniques for Networked and Distributed Systems – FORTE 2008

28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Kenji Suzuki
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Teruo Higashino
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Keiichi Yasumoto
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Khaled El-Fakih
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5048)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FORTE 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (21 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Formal Techniques for Networked and Distributed Systems – FORTE 2008

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation