• Introduction to using MSOL over strings to verify linked lists

• Strings and languages

• Finite state machine
• Determinization of finite state machine

Automata and languages:

• Introduction to the Theory of Computation
• Introduction to Automata Theory, Languages, and Computation

Verification of linked structures using automata or MSOL:

• Field constraint analysis
• Pointer Assertion Logic Engine