You have Guest access.
Log In
Kung-Kiu Lau and Richard Banach
Front matter
1-4
Realising the Benefits of Formal Methods
5-35
A Compositional Framework for Service Interaction Patterns and Interaction Flows
36
An Evidential Tool Bus
37-51
Derivation of UML Class Diagrams as Static Views of Formal B Developments
52-65
29 New Unclarities in the Semantics of UML 2.0 State Machines
66-80
The Semantics and Tool Support of OZTA
81-95
An Abstract Model for Process Mediation
96-110
How Symbolic Animation Can Help Designing an Efficient Formal Model
111-124
A Theory of Secure Control Flow
125-140
Game Semantics Model for Security Protocols
141-155
Towards Dynamically Communicating Abstract Machines in the B Method
156-172
Sweep-Line Analysis of TCP Connection Management
173-187
2/3 Alternating Simulation Between Interface Automata
188-203
Formal Model-Driven Development of Communicating Systems
204-218
Jahuel: A Formal Framework for Software Synthesis
219-234
Modelling and Refinement of an On-Chip Communication Architecture
235-250
Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics
251-263
Adaptive Random Testing by Bisection with Restriction
264-279
Testing Real-Time Multi Input-Output Systems
280-299
Formal Verification of a Memory Model for C-Like Imperative Languages
300-314
Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations
315-329
An Improved Rule for While Loops in Deductive Program Verification
330-344
Using Stålmarck’s Algorithm to Prove Inequalities
345-359
Automatic Refinement Checking for B
360-374
Slicing an Integrated Formal Method for Verification
375-389
A Static Communication Elimination Algorithm for Distributed System Verification
390-404
Incremental Verification of Owicki/Gries Proof Outlines Using PVS
405-420
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
421-434
An Automated Approach to Specification-Based Program Inspection
435-449
Visualizing and Simulating Semantic Web Services Ontologies
450-464
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing
465-479
ClawZ: Cost-Effective Formal Verification for Control Systems
480-494
SVG Web Environment for Z Specification Language
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info