Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects
| Title | Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects |
| Publication Type | Artikel ohne Peer Review (erschienen) |
| Year of Publication | 2021 |
| Authors | Kamburjan, E, Scaletta, M, Rollshausen, N |
| How Published | ArXiv E-Print 2102.10127: <a href="https://doi.org/10.48550/arXiv.2102.10127">https://doi.org/10.48550/arXiv.2102.10127</a> |
| Pages | 1-12 |
| Publisher | ArXiv |
| DOI | 10.48550/arXiv.2102.10127 |
Undefined