LARA This is an old revision of the document! Encoding lists using MSOL over strings Example file 'MONA' tool: slist.mona References Verification via structure simulation