Abstract
Chapter 15 discusses classes of requirements that a distributed system may have to satisfy.
Notes
- 1.
Edmund Clarke, Allen Emerson, and Joseph Sifakis received the Turing Award in 2007 for their pioneering work on temporal logic model checking.
- 2.
Those properties talk about state formulas, which are LTL formulas without temporal operators.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer-Verlag London
About this chapter
Cite this chapter
Ölveczky, P.C. (2017). Formalizing and Checking Requirements. In: Designing Reliable Distributed Systems. Undergraduate Topics in Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-6687-0_16
Download citation
DOI: https://doi.org/10.1007/978-1-4471-6687-0_16
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-6686-3
Online ISBN: 978-1-4471-6687-0
eBook Packages: Computer ScienceComputer Science (R0)