Safety by Shared Synthesis - AI-Enabled Formal Verification for Critical Infrastructure

Explore a Berkeley seminar presentation where Shaowei Lin discusses the critical role of AI-enabled formal verification in improving infrastructure safety and security. Learn how artificial intelligence could accelerate the widespread adoption of formal verification techniques from decades to just years, potentially revolutionizing cyber defense systems. Discover the concept of shared synthesis - a collaborative approach to developing formal specifications, implementations, and proofs - while examining insights from Atlas Computing's comprehensive report on AI-assisted formal verification toolchains. Gain valuable understanding of how these emerging technologies and methodologies can help protect critical cyber-physical systems against both intentional attacks and accidental failures.