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
Abstraction
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
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
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
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