This is an old revision of the document!
Lecture 17
A sequel to SAV07 Lecture 16 and SAV07 Lecture 15.
Preliminary reading:
Topics to cover:
- Tree automata
- Field constraint analysis
MSOL:
Verification of linked structures using automata or MSOL:
More