Network Invariants in Action*

This publication has 16 references indexed in Scilit:

• Automatic Deductive Verification with Invisible Invariants
  2001
• Verification by Augmented Finitary Abstraction
  Information and Computation, 2000
• Control and data abstraction: the cornerstones of practical formal verification
  International Journal on Software Tools for Technology Transfer, 2000
• Reducing Model Checking of the Many to the Few
  2000
• A Structural Induction Theorem for Processes
  Information and Computation, 1995
• Temporal Verification of Reactive Systems
  1995
• An experience in proving regular networks of processes by modular model checking
  Acta Informatica, 1992
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• Limits for automatic verification of finite-state concurrent systems
  Information Processing Letters, 1986
• Derivation of a termination detection algorithm for distributed computations
  Information Processing Letters, 1983