Improved verification methods for concurrent systems by