TY  - RPRT
TI  - Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects
AU  - Eduard Kamburjan
AU  - Marco Scaletta
AU  - Nils Rollshausen
PY  - 2022
UR  - https://arxiv.org/abs/2102.10127
ID  - 2102.10127
ER  -