An efficient algorithm and software package for verifying delay-insensitive systems using a partial-order model