Abstraction Modulo Stability for Reverse Engineering
Authors: Anna Becchi and Alessandro Cimatti
Paper Information
| Title: | Abstraction Modulo Stability for Reverse Engineering |
| Authors: | Anna Becchi and Alessandro Cimatti |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | stability, reverse engineering, simulations |
| Pages: | 20 |
| Talk: | Aug 08 14:20 (Session 97A: Formal Methods for Hardware, Cyber-Physical and Hybrid Systems) |
| Paper: |  |