Testing-Based Abstractions for Value-Passing Systems

This publication has 12 references indexed in Scilit:

• Comparing the Galois connection and widening/narrowing approaches to abstract interpretation
  Published by Springer Nature ,2005
• A linear-time model-checking algorithm for the alternation-free modal mu-calculus
  Formal Methods in System Design, 1993
• Computing Ready Simulations Efficiently
  Published by Springer Nature ,1993
• Testing equivalence as a bisimulation equivalence
  Formal Aspects of Computing, 1993
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• CCS expressions, finite state processes, and three problems of equivalence
  Information and Computation, 1990
• The linear time - branching time spectrum
  Published by Springer Nature ,1990
• Local model checking in the modal mu-calculus
  Lecture Notes in Computer Science, 1989
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• Specification-oriented semantics for Communicating Processes
  Acta Informatica, 1986