@inproceedings{chatty:hal-01619784, TITLE = {{Verification of properties of interactive components from their executable code}}, AUTHOR = {Chatty, St{\'e}phane and Magnaudet, Mathieu and Prun, Daniel}, URL = {https://enac.hal.science/hal-01619784}, BOOKTITLE = {{7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015)}}, ADDRESS = {Duisbourg, Germany}, PUBLISHER = {{ACM}}, PAGES = {276-285 }, YEAR = {2015}, MONTH = Jun, DOI = {10.1145/2774225.2774848}, KEYWORDS = {pattern matching ; interactive component ; verification ; properties ; static analysis ; tree}, PDF = {https://enac.hal.science/hal-01619784/file/eics2015.pdf}, HAL_ID = {hal-01619784}, HAL_VERSION = {v1}, }