Search for tag: "verification"

ECE/CS 584 Project Pitch Presentations

HIPAA, 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 Discussion

Sample 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 SAT

Proving inductive invariance properties Introduction to the Boolean Satisfiability GreedySAT algorithm

From  Sayan Mitra 33 plays 0  

Review 2.

satisfiability, verification, search

From  Sayan Mitra 22 plays 0  

Safe autonomy (ECE498SM) Lectures

verification; satisfiability

From  Sayan Mitra 18 plays 0  

Safe autonomy (ECE498SM) Lecture 16: Safety and Verification

verification, safety, discrete models, examples

From  Sayan Mitra 20 plays 0  

Safety verification 3.1: Live lecture

Verifying invariance properties; introduction to SMT solvers

From  Sayan Mitra 88 plays 0  

Verification 2

State machines, nondeterminism

From  Sayan Mitra 48 plays 0