Static Analysis of Communicating Processes Using Symbolic Transducers.
| Autor: | Botbol, Vincent, Chailloux, Emmanuel, Le Gall, Tristan |
|---|---|
| Zdroj: | Verification, Model Checking & Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings; 2017, p73-90, 18p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|