دانلود کتاب Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

فهرست مطالب :

Front Matter....Pages -
Analyzing Interactions of Asynchronously Communicating Software Components....Pages 1-4
Formal Analysis of a Distributed Algorithm for Tracking Progress....Pages 5-19
A Case Study in Formal Verification Using Multiple Explicit Heaps....Pages 20-34
Parameterized Verification of Track Topology Aggregation Protocols....Pages 35-49
Monitoring Networks through Multiparty Session Types....Pages 50-65
Semantic Subtyping for Objects and Classes....Pages 66-82
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language....Pages 83-98
Passive Testing with Asynchronous Communications....Pages 99-113
Input-Output Conformance Simulation ( iocos ) for Model Based Testing....Pages 114-129
Model Checking Distributed Systems against Temporal-Epistemic Specifications....Pages 130-145
Formal Verification of Distributed Branching Multiway Synchronization Protocols....Pages 146-160
An Abstract Framework for Deadlock Prevention in BIP....Pages 161-177
Bounded Model Checking of Graph Transformation Systems via SMT Solving....Pages 178-192
Verification of Directed Acyclic Ad Hoc Networks....Pages 193-208
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels....Pages 209-224
Asynchronously Communicating Visibly Pushdown Systems....Pages 225-241
A Timed Component Algebra for Services....Pages 242-257
Probabilistic Analysis of the Quality Calculus....Pages 258-272
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects....Pages 273-288
Lintent: Towards Security Type-Checking of Android Applications....Pages 289-304
Honesty by Typing....Pages 305-320
Back Matter....Pages -