Automated model extraction from non-deterministic c-code to active objects (for-reviewers only)

We provide here some material for the reviewers:

• C2ABS-VM.ova: Virtual Machine for VirtualBox with C2ABS, the paper examples, and a Docker container with the ABS Erlang simulator
• Examples.zip: Archive with examples from the paper
• TestSuite.zip: Archive of the test suite