SMC 99 workshop presentation This talk focussed on the implications of compositional methods for symboloc model checking.

• Slides in ppt format
• Relevant papers
  • Paper on cicrular compositional reasoning
  • Paper on case splitting and adata type reductions