3:35Formal Verification Explained: Model Checking & Program Verification for BeginnersCodeLucky1.4K viewsView & Download
5:49Emerson on the introduction of model checking for hardware and software verification.Turing Awardee Clips883 viewsView & Download