thesis

Symbolic Reachability Analysis for Rewrite Theories.

Camilo Rocha, Ph.D. Dissertation. Urbana, October, 2012.

Related downloads:

• Extended SCC + Examples (Chapter 3)
• InvA tool + Examples (Chapters 4,5,6)
• Rewriting logic semantics of PLEXIL (Chapter 8)
• Symbolic rewriting logic semantics of PLEXIL (Chapter 9)