| 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 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 PAPERS Author Index |
内容加载中，请稍后...
商品评论（0条）