[HD] EECS4315 W25 - 2025-01-13 - Software Development Process, Assurance Cases, State Space

(1:16:28)

[HD] EECS4315 W23 - 2023-01-31 - Practical Knowledge about Parsing, ParseTrees, Left-Most Derivation

(1:19:16)

[HD] EECS4315 W25 - 2025-01-13 - Formulating Model Checking Problem, Implication, Theorems

(1:16:3)

[HD] EECS4315 W25 - 2025-01-15 - Model Checking: Reachability, Commutativity vs. Short-Circuit Eval.

(1:11:19)

[HD] EECS4315 W23 - 2023-01-12 - Introduction

(1:16:57)

[HD] EECS4315 W23 - 2023-01-24 - Porving/Disproving Logical Quantifications, Equational Style Proofs

(1:21:42)

[HD] EECS4315 W23 - 2023-01-26 - Model Checking: Introduction, LTL: Syntax, Precedence, Symbols

(1:16:37)

[HD] EECS4315 W23 - 2023-03-02 - F(phi1) implies FG(phi2): Formulation, Proofs, Disproofs, Exercises

(1:13:37)

[HD] EECS4315 W23 - 2023-01-10 - Syllabus

(1:14:5)

[HD] EECS4315 W23 - 2023-02-28 - s |= FG phi: Formulation, Proving/Disproving Strategies, Exercises

(1:21:18)

[HD] EECS4315 W23 - 2023-03-19 - Written Test 2 Review

(1:3:48)

[HD] EECS4315 W23 - 2023-02-02 - Comparing Parse Trees vs. LMDs vs. RMDs, Subformulas, LTS

(1:14:34)

[HD] EECS4315 W23 - 2023-03-16 - Exercises: Model Satisfaction (U, W, R), Formulating English in LTL

(1:21:8)

[HD] EECS4315 W23 - 2023-01-19 - Implications, Propositional Theorems, Predicates

(1:21:40)

[HD] EECS4315 W25 - 2025-01-08 - Lab1 Guidance, Verification vs. Validation, Critical Systems

(1:12:29)

[HD] EECS4315 W23 - 2023-02-09 - Path vs. Model Satisfactions, Proving vs. Disproving, X, F, G

(1:20:18)

[HD] EECS4315 W23 - 2023-04-12 - Exam Review Q\u0026A

(1:22:15)

[HD] EECS4315 W23 - 2023-02-07 - LTS Formulations, Paths, Unwinding Paths, Path Satisfaction

(1:20:26)