A Unifying Approach to Data-Independence

This publication has 12 references indexed in Scilit:

• Proving security protocols with model checkers by data independence techniques
  Journal of Computer Security, 1999
• Verifying linear temporal properties of data insensitive controllers using finite instantiations
  Published by Springer Nature ,1997
• An axiomatic approach to binary logical relations with applications to data refinement
  Published by Springer Nature ,1997
• Exploiting symmetry in temporal logic model checking
  Formal Methods in System Design, 1996
• Automatic datapath abstraction in hardware systems
  Published by Springer Nature ,1995
• Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs
  Information and Computation, 1993
• Automata on Infinite Objects
  Published by Elsevier ,1990
• Parallel Program Design
  Published by Springer Nature ,1989
• Expressing interesting properties of programs in propositional temporal logic
  Published by Association for Computing Machinery (ACM) ,1986
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977