Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Publication year: 2008
: 978-3-540-92188-2
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components
: Computer Science, Cluster, Java, design, modeling, programming, programming language, validation, verification, Software Engineering, Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Operating Systems, Software Engineering, Logics and Meanings of Programs
