Generating Concurrency Checks Automatically

Jonathan Hoyland, Matthew Hague

This article introduces ATAB, a tool that automatically generates pairwise reachability checks for action trees. Action trees can be used to study the behaviour of real-world concu…