Title: Synchronous equivalence
Subjects: Embedded computer systems, Formal methods (Computer science), Computer science