On-the-fly verification of finite transition systems

This publication has 15 references indexed in Scilit:

• Testing for unboundedness of Fifo channels
  Published by Springer Nature ,2005
• A partial approach to model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Bounded-memory algorithms for verification on-the-fly
  Lecture Notes in Computer Science, 1992
• “On the fly” verification of behavioural equivalences and preorders
  Published by Springer Nature ,1992
• Memory efficient algorithms for the verification of temporal properties
  Published by American Mathematical Society (AMS) ,1991
• An implementation of an efficient algorithm for bisimulation equivalence
  Science of Computer Programming, 1990
• CCS expressions, finite state processes, and three problems of equivalence
  Information and Computation, 1990
• Development of Veda, a prototyping tool for distributed algorithms
  IEEE Transactions on Software Engineering, 1988
• An introduction to FIFO nets— monogeneous nets: A subclass of FIFO nets
  Theoretical Computer Science, 1985
• Tracing Protocols
  AT&T Technical Journal, 1985