Limit search to available items
Book Cover
E-book
Author FORTE 2005 (2005 : Taipei, Taiwan)

Title Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings / Farn Wang (ed.)
Published Berlin ; New York : Springer, [2005]
©2005
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (xii, 558 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 3731
Lecture notes in computer science ; 3731. 0302-9743
Contents 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 Protocols -- REGULAR 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??-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 Petri 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 -- Deriving Non-determinism from Conjunction and Disjunction -- Abstract Operational Semantics for Use Case Maps -- ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics -- Submodule Construction for Extended State Machine Models -- Towards Synchronizing Linear Collaborative Objects with Operational Transformation -- Designing Efficient Fail-Safe Multitolerant Systems -- Hierarchical Decision Diagrams to Exploit Model Structure -- Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks -- Formalising Web Services -- From Automata Networks to HMSCs: A Reverse Model Engineering Perspective -- Properties as Processes: Their Specification and Verification -- SHORT PAPERS -- Epoch Distance of the Random Waypoint Model in Mobile Ad Hoc Networks -- Automatic Partitioner for Behavior Level Distributed Logic Simulation -- Expressive Completeness of an Event-Pattern Reactive Programming Language -- Formalizing Interoperability Testing: Quiescence Management and Test Generation -- Formal Description of Mobile IPv6 Protocol -- Incremental Modeling Under Large-Scale Distributed Interaction -- The Inductive Approach to Strand Space -- Compositional Modelling and Verification of IPv6 Mobility
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Formal methods (Computer science) -- Congresses.
Electronic data processing -- Distributed processing -- Congresses.
Computer network protocols -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Wang, Farn.
IFIP Working Group 6.1.
LC no. 2005932939
ISBN 9783540320845
3540320849
354029189X
9783540291893
Other Titles FORTE 2005