ENGLISH

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings

By Michael Bell , Asis Goswami , Mathai Joseph (auth.) , Jan Vytopil (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1991
ISBN
3540550925, 9783540550921
DOI
10.1007/3-540-55092-5
LCC
QA76.54 .F66 1991
Open Library ID
OL1562199M
Language
english
Format
DJVU
Filesize
5 MB (5317069 bytes)
Series
Lecture Notes in Computer Science 571
Edition
1
Pages
628\615
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
general; Mathematical Logic and Formal Languages;Logics and Meanings of Programs; Probability Theor

Description

This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.

Similar books