Formal Techniques for Networked and Distributed Systems - FORTE 2005网络和分布系统的形式技术-FORTE 2005

2005-9  

北京燕山出版社  

Farn Wang　著  

558  

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005, held in Taipei, Taiwan, in October 2005. The 33 revised full papers and 6 short papers presented together with 3 keynote speeches were carefully reviewed and selected from 88 submissions. The papers cover all current aspects of formal methods for distributed systems and communication protocols such as formal description techniques (MSC, UML, Use cases, . . .), semantic foundations, model-checking, SAT-based techniques, process algebrae, abstractions, protocol testing, protocol verification, network synthesis, security system analysis, network robustness, embedded systems, communication protocols, and several promising new techniques.

KEYNOTE SPEECHES　Ranking Abstraction as Companion to Predicate Abstraction　Developing High Quality Software with Formal Methods　What Else Is Needed?　A Testing Architecture for Designing High-Reliable MANET ProtocolsREGULAR PAPERS　A Composition Operator for Systems with Active and Passive Actions　A Formal Semantics of UML StateCharts by Means of Timed Petri Nets　A Hierarchy of Implementable MSC Languages　Combining Static Analysis and Model Checking for Systems Employing　Commutative Functions　Fast Generic Model-Checking for Data-Based Systems　Logic and Model Checking for Hidden Markov Models　Proving V#-Calculus Properties with SAT-Based Model Checking　Ad Hoc Routing Protocol Verification Through Broadcast Abstraction　Discovering Chatter and Incompleteness in the Datagram Congestion Control　Protocol　Thread Allocation Protocols for Distributed Real-Time and Embedded　Systems　A Petri Net View of Mobility　Modular Verification of Petal Nets Properties: A Structure-Based Approach　An Improved Conformance Testing Method　Resolving Observability Problems in Distributed Test Architectures　Automatic Generation of Conflict-Free IPsec Policies　A Framework Based Approach for Formal Modeling and Analysis of　Multi-level Attacks in Computer Networks　Model Checking for Timed Statecharts　Abstraction-Guided Model Checking Using Symbolic IDA* And Heuristic　Synthesis　Modeling and Verification of Safety-Critical Systems Using Safecharts　Structure Preserving Data Abstractions for Statecharts　Amortised Bisimulations　Proof Methodologies for Behavioural Equivalence in DPI……SHORT PAPERSAuthor Index

Formal Techniques for Networked and Distributed Systems - FORTE 2005网络和分布系统的形式技术-FORTE 2005 PDF格式下载