Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Data-flow synchronous languages Read chapter Read first chapter

1994 | ReviewPaper | Chapter

Verification and specification of concurrent programs

Author : Leslie Lamport

Published in: A Decade of Concurrency Reflections and Perspectives

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

I explore the history of, and lessons learned from, eighteen years of assertional methods for specifying and verifying concurrent programs. I then propose a Utopian future in which mathematics prevails.

previous chapter Temporal verification of simulation and refinement
next chapter Simulation techniques for proving properties of real-time systems
Metadata
Title
Verification and specification of concurrent programs
Author
Leslie Lamport
Copyright Year
1994
Publisher
Springer Berlin Heidelberg
Book
A Decade of Concurrency Reflections and Perspectives

Print ISBN: 978-3-540-58043-0

Electronic ISBN: 978-3-540-48423-3

Copyright Year: 1994

DOI
https://doi.org/10.1007/3-540-58043-3_23

Premium Partner

    Image Credits