Search for tag: "verification"
ECE/CS 584 Project Pitch PresentationsHIPAA, Reverse-engineering firmware, C programs in control, Network programming with P4, Neural network verification, robotic manipulation
From Sayan Mitra
9 plays
0
|
|
ECE/CS 584 Project Planning DiscussionSample projects: Controller Synthesis -- Kristina Miller Black-box verification -- Dawei Sun
From Sayan Mitra
15 plays
0
|
|
ECE/CS 584 CPS, Embedded System Verification: Proving invariance, introduction to SATProving inductive invariance properties Introduction to the Boolean Satisfiability GreedySAT algorithm
From Sayan Mitra
35 plays
0
|
|