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