@inproceedings{dhaussy:hal-00470523, TITLE = {{Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation}}, AUTHOR = {Dhaussy, Philippe and Pillain, Pierre-Yves and Creff, Stephen and Raji, Amine and Le Traon, Yves and Baudry, Benoit}, URL = {https://hal.science/hal-00470523}, BOOKTITLE = {{Model Driven Engineering Languages and Systems (Models'09)}}, ADDRESS = {Denver, United States}, PUBLISHER = {{Springer Berlin / Heidelberg}}, VOLUME = {5795/2009}, PAGES = {438-452}, YEAR = {2009}, MONTH = Oct, DOI = {10.1007/978-3-642-04425-0}, KEYWORDS = {model checking ; Formal methods ; context description ; property patterns ; observers ; timed automata ; model checking.}, PDF = {https://hal.science/hal-00470523/file/models_cdl_12juillet09_Final_Version.pdf}, HAL_ID = {hal-00470523}, HAL_VERSION = {v1}, }