1 citations · 1 across the 1 of their papers we have counts for
1 paper
Eduard Kamburjan, Marco Scaletta, Nils Rollshausen
We present the Crowbar tool, a deductive verification system for the ABS language. ABS models distributed systems with the Active Object concurrency model. Crowbar implements behav…