A simple method for extracting models from protocol code

This publication has 10 references indexed in Scilit:

• The Stanford FLASH multiprocessor
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Using meta-level compilation to check FLASH protocol code
  Published by Association for Computing Machinery (ACM) ,2000
• Bandera
  Published by Association for Computing Machinery (ACM) ,2000
• Teapot: a domain-specific language for writing cache coherence protocols
  IEEE Transactions on Software Engineering, 1999
• A metaobject protocol for C++
  Published by Association for Computing Machinery (ACM) ,1995
• Automatic verification of the SCI cache coherence protocol
  Published by Springer Nature ,1995
• Using formal verification/analysis methods on the critical path in system design: A case study
  Published by Springer Nature ,1995
• ATOM
  Published by Association for Computing Machinery (ACM) ,1994
• The program dependence graph and its use in optimization
  ACM Transactions on Programming Languages and Systems, 1987
• Program Slicing
  IEEE Transactions on Software Engineering, 1984