Formal Methods for Learning Systems Assurance. 3 credits

Catalog description

This course provides hands-on training in the use of formal methods for Test, Evaluation, Verification, and Validation (TEVV) of learning based systems that incorporate learning-enabled and systems such as but not limited to agentic components, reinforcement learning, generative systems, controllers and LLMs. This course emphasizes evidence-driven cybersecurity assurance grounded in formal specification, symbolic tool-based formal verification, adversarial falsification. Students will learn the foundational science required to produce a verification system and learn how to express security, safety, and misuse-prevention requirements as formal properties, construct sound abstractions of learning-enabled components, and apply formal verification tools to generate defensible TEVV evidence. This will enable them to apply logical methods to generate verifiably correct explanations, extending AI systems to achieve assured explainability. The course balances instructor-provided case studies Offered by Cyber Security Engineering . Limited to two attempts.