Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects

Published in Arxiv, 2020

Recommended citation: Eduard Kamburjan, Marco Scaletta, Nils Rollshausen. (2021). Arxiv Preprint