Using Model-Checking and Peer-Grading to Provide Automated Feedback to Concurrency Exercises in Progvis.

Filip Strmbck, Linda Mannila, Mariam Kamkar

Browse the full ACE paper archive.