Algorithms for the verification of synchronous systems by