Record: found
Abstract: not found
Book Chapter: not found

Formal Verification of Avionics Software Products

other

Author(s): Jean Souyris , Virginie Wiels , David Delmas , Hervé Delseny

Publication date (Print): 2009

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 10

Record: found
Abstract: not found
Article: not found

An axiomatic basis for computer programming

C. Hoare (1969)

0 comments Cited 369 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

The ASTREÉ Analyzer

Patrick Cousot, Radhia Cousot, Jérôme Feret … (2005)

0 comments Cited 39 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Reliable and Precise WCET Determination for a Real-Life Processor

Christian Ferdinand, Reinhold Heckmann, Marc Langenbach … (2001)

0 comments Cited 8 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2009

Pages: 532-546

DOI: 10.1007/978-3-642-05089-3_34

SO-VID: 43518c77-aa72-47c4-9e94-9db070018222

History

Data availability:

Formal Verification of Avionics Software Products

Read this book at

Related collections

Genomic Prediction: Software

Most cited references 10

An axiomatic basis for computer programming

The ASTREÉ Analyzer

Reliable and Precise WCET Determination for a Real-Life Processor

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,061

Cited by 1