Improved verification methods for concurrent systems door