@article{marche:hal-01102242, TITLE = {{Bridging the Gap between Testing and Formal Verification in Ada Development}}, AUTHOR = {March{\'e}, Claude and Kanig, Johannes}, URL = {https://inria.hal.science/hal-01102242}, JOURNAL = {{ERCIM News}}, PUBLISHER = {{ERCIM}}, VOLUME = {100}, PAGES = {2}, YEAR = {2015}, MONTH = Jan, HAL_ID = {hal-01102242}, HAL_VERSION = {v1}, }