You can find slides by Prof. Orna Grumberg for automatic verification of software, using this link.
A sharing platform for the Computer-Aided Verification community
You can find slides by Prof. Orna Grumberg for automatic verification of software, using this link.