IFIP TC6 Open Digital Library

28. FORTE 2008: Tokyo, Japan

Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings

Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih

Springer, Lecture Notes in Computer Science 5048, ISBN: 978-3-540-68854-9



Contents

Invited Talk

Model Generation for Horn Logic with Stratified Negation.

Ethan K. Jackson, Wolfram Schulte

 1-20

Abstraction

Counterexample Guided Spotlight Abstraction Refinement.

Tobe Toben

 21-36

An Experimental Evaluation of Probabilistic Simulation.

Jonathan Bogdoll, Holger Hermanns, Lijun Zhang 0001

 37-52

An SMT Approach to Bounded Reachability Analysis of Model Programs.

Margus Veanes, Nikolaj Bjørner, Alexander Raschke

 53-68

Verification

Parameterized Tree Systems.

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

 69-83

Adapting Petri Nets Reductions to Promela Specifications.

Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau

 84-98

Verification of a Hierarchical Generic Mutual Exclusion Algorithm.

Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry

 99-115

Specification Framework I

Distributed Semantics and Implementation for Systems with Interaction and Priority.

Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis

 116-133

Checking Correctness of Transactional Behaviors.

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

 134-148

Specifying and Verifying Web Transactions.

Jing Li, Huibiao Zhu, Jifeng He

 149-168

Application

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

Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch

 169-184

Program Repair Suggestions from Graphical State-Transition Specifications.

Farn Wang, Chih-Hong Cheng

 185-200

Verifying Erlang Telecommunication Systems with the Process Algebra µCRL.

Qiang Guo, John Derrick, Csaba Hoch

 201-217

Specification Framework II

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

Christian Webel, Reinhard Gotzhein, Joachim Nicolay

 218-233

Timed Mobile Ambients for Network Protocols.

Bogdan Aman, Gabriel Ciobanu

 234-250

A Specification Framework for Earth-Friendly Logistics.

Ichiro Satoh

 251-266

Theory

A Hierarchy of Equivalences for Probabilistic Processes.

Manuel Núñez, Luis Fernando Llana Díaz

 267-282

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

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

 283-298

Reliability of Networked Systems

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

Guoqiang Shu, Yating Hsu, David Lee

 299-304

Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol.

Wei Wang, Dongyao Ji

 305-323

Protocol Modeling with Model Program Composition.

Margus Veanes, Wolfram Schulte

 324-339