A Survey of Verification Techniques for Parallel Programs
Author: Howard Barringer
Publisher:
Published: 2014-01-15
Total Pages: 128
ISBN-13: 9783662183021
DOWNLOAD EBOOK →Author: Howard Barringer
Publisher:
Published: 2014-01-15
Total Pages: 128
ISBN-13: 9783662183021
DOWNLOAD EBOOK →Author: Dominique Perrin
Publisher:
Published: 1985
Total Pages: 115
ISBN-13: 9780387152394
DOWNLOAD EBOOK →Author: Howard Barringer
Publisher: Springer
Published: 1985
Total Pages: 130
ISBN-13:
DOWNLOAD EBOOK →Author: Akinori Yonezawa
Publisher:
Published: 1977
Total Pages: 221
ISBN-13:
DOWNLOAD EBOOK →This thesis presents formal specification and verification techniques for both serial and parallel programs written in SIMULA-like object oriented languages. These techniques are based on the notion of states of individual objects which are defined uniformly in serial and parallel computations. They can specify and verify the behavior of data and procedural objects in multi-process environments, thus overcoming some of the difficulties in dealing with parallelism which characterized previous work on formal specifications for abstract data types. Among others, the specifications and verifications of a bounded buffer and air line reservation systems are given. Using a model of a simple post office illustrates our specification and verification techniques for systems, such as operating systems and multi-user data base systems, which are characterized by complex internal concurrent activities. It is demonstrated that the specifications of the overall functions of the system which are called task specifications can be derived from specifications of the individual behavior and mutual interaction of the subsystems. A method of defining states of individual objects as mathematical functions is suggested.
Author: Jacobus W. De Bakker
Publisher: Springer Science & Business Media
Published: 1986-06
Total Pages: 736
ISBN-13: 9783540164883
DOWNLOAD EBOOK →Author: Fred B. Schneider
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 482
ISBN-13: 1461218306
DOWNLOAD EBOOK →Here, one of the leading figures in the field provides a comprehensive survey of the subject, beginning with prepositional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed for use as a graduate text. Professor Schneier emphasises the use of formal methods and assertional reasoning using notation and paradigms drawn from programming to drive the exposition, while exercises at the end of each chapter extend and illustrate the main themes covered. As a result, all those interested in studying concurrent computing will find this an invaluable approach to the subject.
Author: Willem-Paul de Roever
Publisher: Springer Science & Business Media
Published: 1998-12-18
Total Pages: 655
ISBN-13: 3540654933
DOWNLOAD EBOOK →This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.
Author: Stephen D. Brookes
Publisher: Springer Science & Business Media
Published: 1985
Total Pages: 540
ISBN-13: 9783540156703
DOWNLOAD EBOOK →Author: Paul Franchi-Zannettacci
Publisher: Springer Science & Business Media
Published: 1986-03
Total Pages: 316
ISBN-13: 9783540164432
DOWNLOAD EBOOK →Author: Robin E. Bloomfield
Publisher: Springer Science & Business Media
Published: 1988
Total Pages: 516
ISBN-13: 9783540502142
DOWNLOAD EBOOK →This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an active international research programme supporting this process. "VDM - The Way Ahead" is the second of a series of symposia sponsored by the Commission of the European Communities (CEC) and organised by VDM-Europe. The term "formal method" refers to mathematically formal software specification and production methods. These methods aim to increase the quality of software in two related ways: by improving the specification and by making verification during the software production process more effective and easier to audit. The symposium proceedings focus on five areas of interest: education and technology transfer, experience and use of VDM, tools and support environments, method development and foundation at work, the standardisation of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated theoretical foundations.