Abstract
As mentioned in Chap. 4, mathematics is the main intellectual tool for the genuine systems designer. In particular, the user of automated model or proof checkers can benefit from mathematical reasoning about both the system descriptions (e.g. programs) and the conditions (e.g. invariants, temporal formulas) in various respects.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Verhulst, E., Boute, R.T., Faria, J.M.S., Sputh, B.H.C., Mezhuyev, V. (2011). Foundations for TLA+ and Temporal Logic. In: Formal Development of a Network-Centric RTOS. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-9736-4_10
Download citation
DOI: https://doi.org/10.1007/978-1-4419-9736-4_10
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-9735-7
Online ISBN: 978-1-4419-9736-4
eBook Packages: EngineeringEngineering (R0)