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 8 plays 0  

ECE/CS 584 Project Planning Discussion

Sample projects: Controller Synthesis -- Kristina Miller Black-box verification -- Dawei Sun

From  Sayan Mitra 14 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 30 plays 0  

Review 2.

satisfiability, verification, search

From  Sayan Mitra 22 plays 0  

Safe autonomy (ECE498SM) Lectures

verification; satisfiability

From  Sayan Mitra 15 plays 0  

Safe autonomy (ECE498SM) Lecture 16: Safety and Verification

verification, safety, discrete models, examples

From  Sayan Mitra 19 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