Abstract
The focus of the paper is to provide a formal logic, for specifying fault-tolerant systems, using a state and transition based approach. Another goal is to reason, formally, about the possible behaviors of a system consisting of some malicious nodes. The Byzantine agreement protocol serves as an illustration for the notation. The contribution is the development of a style of modeling and reasoning that allows for a straightforward and thorough analysis of fault-tolerant systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Englewood Cliffs (1976)
Singh, A.K., Bandyopadhyay, A.K.: Verifying Mutual Exclusion and Liveness Properties with Split Preconditions. J. Comp. Sc. & Tech. 19(6), 795–802 (2004)
Arora, A., Gouda, M.: Closure and Convergence: A Foundation of Fault-Tolerant Computing. IEEE Trans. Soft. Engg. 19(11), 1015–1027 (1993)
Banerjee, J., Bandyopadhyay, A.K., Mandal, A.K.: Ordering of Events in Two-Process Concurrent System. ACM SIGSOFT Soft. Engg. Notes 32(4), 1–7 (2007)
Chandi, K.M., Sanders, B.A.: Predicate Transformers for Reasoning about Concurrent Computation. Sc. Comp. Prog. 24, 129–148 (1995)
Dierks, H.: Comparing Model Checking and Logical Reasoning for Real-Time Systems. Formal Aspects of Computing 16(2), 104–120 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Singh, A.K., Bandyopadhyay, A.K. (2010). Specifying Fault-Tolerance Using Split Precondition Logic. In: Kant, K., Pemmaraju, S.V., Sivalingam, K.M., Wu, J. (eds) Distributed Computing and Networking. ICDCN 2010. Lecture Notes in Computer Science, vol 5935. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11322-2_44
Download citation
DOI: https://doi.org/10.1007/978-3-642-11322-2_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11321-5
Online ISBN: 978-3-642-11322-2
eBook Packages: Computer ScienceComputer Science (R0)