Abstract
In Chaps. 3–5, we consider systems modelled at an abstract level in the form of one or more FSMs. However, if a model has been derived from an actual piece of software, or once software has been developed based on a given model, then what does the functional correctness of the model say about the software?
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Note that static analysis of the normal behaviour of the elevator can then be done without bothering about this maximum number of movements, assuming that the elevator can always keep on moving.
- 2.
See https://www.eclipse.org/aspectj, last visited on February 14, 2023.
- 3.
From http://vsl.cis.udel.edu:8080/civl/index.html, last visited February 14, 2023.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Huisman, M., Wijs, A. (2023). Analysing Software. In: Concise Guide to Software Verification. Texts in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-031-30167-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-031-30167-4_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-30166-7
Online ISBN: 978-3-031-30167-4
eBook Packages: Computer ScienceComputer Science (R0)