1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
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…