Follow
Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects. (arXiv:2102.10127v1 [cs.LO]) http://arxiv.org/abs/2102.10127
Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects. (arXiv:2102.10127v1 [cs.LO]) http://arxiv.org/abs/2102.10127