Symbolic verification with periodic sets

This publication has 11 references indexed in Scilit:

• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Using partial orders for the efficient verification of deadlock freedom and safety properties
  Formal Methods in System Design, 1993
• Memory-efficient algorithms for the verification of temporal properties
  Formal Methods in System Design, 1992
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• “On the fly” verification of behavioural equivalences and preorders
  Published by Springer Nature ,1992
• Handling infinite temporal data
  Published by Association for Computing Machinery (ACM) ,1990
• Tracing Protocols
  AT&T Technical Journal, 1985
• An approach to automating the verification of compact parallel coordination programs. I
  Acta Informatica, 1984
• General Technique for Communications Protocol Validation
  IBM Journal of Research and Development, 1978
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978