Contents: Recent papers on the topic of Deep Learning Verification

Contents: Encoding of DNNs and Correctness Properties, Verifying properties of DNN using Z3, Specialized Theory Solvers for Neural Networks Verification, Abstractions for Neural Networks, RNN Verification using Inductive Invariants

Contents: Propositional and Predicate Logic (Overview), LTL and CTL Model Checking, Linear-time properties, Büchi Automata, Omega-regular properties, Binary Decision Diagrams, Symbolic Model Checking, Program Verification and Hoare Triples, SAT-based Model Checking, BMC and Introduction to CBMC, Predicate Abstraction and CEGAR

Contents: Binary Decision Diagrams, Symbolic Model Checking, Predicate Abstraction