This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, in June 2006.
The 10 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers focus on the algebraic approach to the specification and development of systems and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.
Author(s): Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch Lafuente (auth.), José Luiz Fiadeiro, Pierre-Yves Schobbens (eds.)
Series: Lecture Notes in Computer Science 4409
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007
Language: English
Pages: 174
Tags: Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Symbolic and Algebraic Manipulation
Front Matter....Pages -
A Temporal Graph Logic for Verification of Graph Transformation Systems....Pages 1-20
On the Algebraization of Many-Sorted Logics....Pages 21-36
Algebraic Semantics of Service Component Modules....Pages 37-55
Autonomous Units and Their Semantics - The Parallel Case....Pages 56-73
Reasoning Support for Casl with Automated Theorem Proving Systems....Pages 74-91
Structured CSP – A Process Algebra as an Institution....Pages 92-110
Incremental Resolution of Model Inconsistencies....Pages 111-126
Coalgebraic Modal Logic in CoCasl ....Pages 127-141
SV t L: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts....Pages 142-155
A (Co)Algebraic Analysis of Synchronization in CSP....Pages 156-170
Back Matter....Pages -
