Conference paper Open Access

Symbolic execution of transition systems with function summaries

Boudhiba, Imen; Gaston, Christophe; Le Gall, Pascale; Prévosto Virgile


BibTeX Export

@proceedings{boudhiba_imen_2018_1402569,
  title        = {{Symbolic execution of transition systems with 
                   function summaries}},
  year         = 2018,
  publisher    = {Zenodo},
  month        = jun,
  doi          = {10.1007/978-3-319-61467-0\_3},
  url          = {https://doi.org/10.1007/978-3-319-61467-0\_3}
}
47
62
views
downloads
Views 47
Downloads 62
Data volume 49.8 MB
Unique views 43
Unique downloads 61

Share

Cite as