für 38.00€ kaufen ··· 9783844297034 ··· 10361112806 ··· This book is about ensuring that software behaves as it is supposed to behave. More precisely, it is concerned with the deductive verification of the compliance of software implementations with their formal specification.
Two successful ideas in program verification are integrated into a new approach which combines the advantages of both: Dynamic logic is brought together with verification on an intermediate verification language.
Program verification combines the difficulties of two tasks in one: the difficulty of verifying algorithms and the problems of verification on implementation level. We propose a methodology to decompose this difficult task into two easier tasks using the well-established technique of refinement. Hersteller: Epubli Marke: Epubli EAN: 9783844297034 Kat: Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/Informatik, EDV Lieferzeit: Sofort lieferbar Versandkosten: Ab 20¤ Versandkostenfrei in Deutschland Icon: https://www.inforius-bilder.de/bild/?I=e6GJbmZitEg803LwRrRB2mtsqPteyUq%2BhoHHiafhIHY%3D Bild: