@inproceedings{leilde:hal-01559688, TITLE = {{A Diagnosis Framework for Critical Systems Verification}}, AUTHOR = {Leilde, Vincent and Ribaud, Vincent and Teodorov, Ciprian and Dhaussy, Philippe}, URL = {https://hal.science/hal-01559688}, BOOKTITLE = {{15th International Conference on Software Engineering and Formal Methods, SEFM 2017}}, ADDRESS = {Trente, Italy}, SERIES = {Proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017}, PAGES = {Short Papers 1-6}, YEAR = {2017}, MONTH = Sep, KEYWORDS = {Diagnosis ; Verification ; Critical systems ; Framework}, PDF = {https://hal.science/hal-01559688/file/SEFM_2017_paper_73.pdf}, HAL_ID = {hal-01559688}, HAL_VERSION = {v1}, }