Publication Date: 2008
ISBN: 978-3-540-92188-2
Internet Resource: Please Login to download book
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
Subject: 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