Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Damiani, E., Ardagna, C.A., El Ioini, N. (2009). Formal methods for software verification. In: Open Source Systems Security Certification. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-77324-7_4
Download citation
DOI: https://doi.org/10.1007/978-0-387-77324-7_4
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-77323-0
Online ISBN: 978-0-387-77324-7
eBook Packages: Computer ScienceComputer Science (R0)