Dissertation
Symbolic Reachability Analysis for Rewrite Theories.
Symbolic Reachability Analysis for Rewrite Theories.
Camilo Rocha, Ph.D. Dissertation. Urbana, October, 2012.
dissertation | local-copy | slides
Related downloads:
Extended SCC + Examples (Chapter 3)
InvA tool + Examples (Chapters 4,5,6)
Rewriting logic semantics of PLEXIL (Chapter 8)
Simbolic rewriting logic semantics of PLEXIL (Chapter 9)