Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings / edited by Farn Wang.

Format:

Book

Contributor:

Wang, Farn, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 3731.

Programming and Software Engineering ; 3731

Language:

English

Subjects (All):

Computer networks.

Software engineering.

Computer logic.

Operating systems (Computers).

Computer Communication Networks.

Software Engineering.

Logics and Meanings of Programs.

Operating Systems.

Local Subjects:

Computer Communication Networks.

Software Engineering.

Logics and Meanings of Programs.

Operating Systems.

Physical Description:

1 online resource (XII, 558 pages).

Edition:

First edition 2005.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

System Details:

text file PDF

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.

Other Format:

Printed edition:

ISBN:

978-3-540-32084-5

9783540320845

Access Restriction:

Restricted for use by site license.