An efficient tool for system-level verification of behaviors and temporal properties

This publication has 20 references indexed in Scilit:

• System-level fault modeling and test pattern generation with process algebras
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Rapid-prototyping of hardware and software in a unified framework
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An action based framework for verifying logical and behavioural properties of concurrent systems
  Published by Springer Nature ,1992
• The formal description and verification of hardware timing
  IEEE Transactions on Computers, 1991
• A unified high-level Petri net formalism for time-critical systems
  IEEE Transactions on Software Engineering, 1991
• Action versus state based logics for transition systems
  Published by Springer Nature ,1990
• The concurrency workbench
  Published by Springer Nature ,1990
• CIRCAL and the representation of communication, concurrency, and time
  ACM Transactions on Programming Languages and Systems, 1985
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980