Dhrubajyoti Ghosh

Initiation to Verification 2025-2026

• TD 4: LTL and Büchi Automata [pdf] [Solution to DM]
• TD 6: Büchi Emptiness [pdf] [Solution to TD]
• TD 7: Partial Order Reduction [pdf] [Solution to TD]
• TD 8: Binary Decision Diagrams [pdf]
• TD 9: Pushdown Systems [pdf] [Solution to TD]
• TD 10: Petri Nets [pdf] [Solution to TD]
• DM 6: Partial Order Reduction [pdf]
• DM 7: Binary Decision Diagrams [pdf]
• DM 8: Pushdown Systems [pdf]
• DM 9: Petri Nets I [pdf]
• DM 10: Petri Nets II [pdf]

Note: Not all the solutions to the TDs presented have been obtained or written by me; some of them have been taken from previous iterations of the course.