@article{boudhiba:cea-01808888, TITLE = {{Symbolic execution of transition systems with function summaries}}, AUTHOR = {Boudhiba, I. and Gaston, C. and Le Gall, P. and Prevosto, V.}, URL = {https://cea.hal.science/cea-01808888}, NOTE = {Conference of 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017 ; Conference Date: 19 July 2017 Through 20 July 2017; Conference Code:194199}, JOURNAL = {{Lecture Notes in Computer Science}}, PUBLISHER = {{Springer}}, VOLUME = {10375 LNCS}, PAGES = {41-58}, YEAR = {2017}, DOI = {10.1007/978-3-319-61467-0\_3}, KEYWORDS = {Artificial intelligence ; Computer science ; Computers ; Function summaries ; Input/output datum ; Logical formulas ; Numerical inputs ; Symbolic execution ; Symbolic Transition Systems ; Transition coverage ; Transition system ; Model checking}, HAL_ID = {cea-01808888}, HAL_VERSION = {v1}, }