This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

This book presents a new approach to on-line observation and concurrent checking of processors by refining and improving known techniques and introducing new ideas.The proposed on-line error detection and fast recover techniques support and complement other established methods. In combination with other on-line observation priniciples and with a combined hardware-software test, these techniques are used to fulfill a complete self-check scheme for an embedded processor.

Since its publication in 1995, the German Technical Dictionary has established itself as the definitive resource for anyone who needs to translate technical documents between German and English. This new edition has been substantially revised to reflect the technological environment of the twenty-first century. The revised edition contains over 75,000 entries, of which over 5,000 are new, with many new entries in the areas of: * the Internet and telecommunications * bio-technology and the new genetics * new developments in health technology. Throughout, this dictionary continues to benefit from the features that made the first edition so valuable, including accurate translations in British and American English and an attractive, durable and easy to use layout.