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:
A Discipline of Multiprogramming Read chapter Read first chapter

2001 | OriginalPaper | Chapter

Progress Properties

Author : Jayadev Misra

Published in: A Discipline of Multiprogramming

Publisher: Springer New York

Included in: Professional Book Archive

Get Access

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

search-config
loading …

Safety properties, discussed in chapter 5, allow us to state that “the program does no harm”. A trivial program that causes no state change —a program that consists only of a skip action, for instance— satisfies all the safety properties. Thus, safety properties alone are insufficient as a basis of program design. Several formal aspects of program design and refinement are seriously affected by the absence of a requirement that the program must guarantee some desirable state changes.

previous chapter Safety Properties
next chapter Maximality Properties
Metadata
Title
Progress Properties
Author
Jayadev Misra
Copyright Year
2001
Publisher
Springer New York
Book
A Discipline of Multiprogramming

Print ISBN: 978-1-4612-6427-9

Electronic ISBN: 978-1-4419-8528-6

Copyright Year: 2001

DOI
https://doi.org/10.1007/978-1-4419-8528-6_6

Premium Partner

    Image Credits