Tool for formal verification of multi-threaded software applications
