Automatic verification of asynchronous circuits

This publication has 5 references indexed in Scilit:

• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983
• Hardware Specification with Temporal Logic: An Example
  IEEE Transactions on Computers, 1982
• Temporal Specifications of Self-Timed Systems
  Published by Springer Nature ,1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Characterizing correctness properties of parallel programs using fixpoints
  Published by Springer Nature ,1980