Dissertation

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)