SULJE VALIKKO

avaa valikko

Jérôme Feret | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?



Static Analysis and Verification of Aerospace Software by Abstract Interpretation
Julien Bertrane; Patrick Cousot; Radhia Cousot; Jérôme Feret; Laurent Mauborgne; Antoine Miné; Xavier Rival
now publishers Inc (2015)
Pehmeäkantinen kirja
91,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017,
Jérôme Feret; Heinz Koeppl
Springer International Publishing AG (2017)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
91,80 €
now publishers Inc
Sivumäärä: 140 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2015, 15.12.2015 (lisätietoa)
Kieli: Englanti
It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This monograph presents abstract interpretation and shows how its principles can be successfully applied to cope with the difficulties inherent to formal verification.

It discusses the principles of static analysis by abstract interpretation, and reports on the automatic verification of the absence of runtime errors in large embedded aerospace software by static analysis based on abstract interpretation. The first industrial applications concerned synchronous control/command software in open loop. Recent advances consider imperfectly synchronous programs, parallel programs, and target code validation as well. Future research directions on abstract interpretation are also discussed in the context of aerospace software.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | Tilaa jouluksi viimeistään 27.11.2024. Tuote ei välttämättä ehdi jouluksi.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Static Analysis and Verification of Aerospace Software by Abstract Interpretationzoom
Näytä kaikki tuotetiedot
ISBN:
9781601988560
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste