Using a visual formalism for design verification in industrial environments

This publication has 10 references indexed in Scilit:

• A graphical environment for the design of concurrent real-time systems
  ACM Transactions on Software Engineering and Methodology, 1997
• Graphical specification and reasoning: Case study generalised railroad crossing
  Published by Springer Nature ,1997
• Containment of regular languages in non-regular timing diagram languages is decidable
  Published by Springer Nature ,1997
• A visual formalism for real time requirement specifications
  Published by Springer Nature ,1997
• The Real-Time Graphical Interval Logic toolset
  Published by Springer Nature ,1996
• Graphical formalization of real-time requirements
  Published by Springer Nature ,1996
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Sequential circuit verification using symbolic model checking
  Published by Association for Computing Machinery (ACM) ,1990
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983