Application of cartography estimation from polarimetric SAR data for land use over tropical vegetation and flooded area in estuary regions

International audienc

Correct Code Containing Containers

Abstract. Containers like lists, vectors, sets or maps are an attractive alternative to ad-hoc data structures based on pointers for critical software development. Containers offer both a better defense against errors than low-level code manipulating pointers, and a rich high-level API to express properties over data. As standards like DO-178C put formal verification and testing on an equal foot, it is important to give users the ability to apply both to the verification of code using containers. This is the motivation for the definition of containers presented in this paper, whose correct usage and user-provided correctness properties can be checked either by execution during testing or by formal proof with an automatic prover. The key objectives in this work were minimizing changes w.r.t. the existing standard version and maximizing the numbers of proofs performed automatically, subject to the key constraint of keeping it simple to write annotations for users

Application of cartography estimation from polarimetric SAR data for land use over tropical vegetation and flooded area in estuary regions

International audienc

Interferometry for forest studies

European Space Agency, (Special Publication) ESA SP406 PART 257-70ESPU