Coursera Spring Sale
40% Off Coursera Plus Annual!
Grab it
Watch a conference talk from YOW! 2016 where Associate Professor Gabriele Keller from the University of New South Wales explores strategies for reducing verification costs in software development. Discover approaches to making formal verification more accessible and cost-effective in real-world applications, drawing from functional programming principles in languages like Rust and Haskell. Learn about practical techniques for implementing verification methods that balance rigorous correctness with development efficiency. Explore the intersection of theoretical computer science and practical software engineering as Keller examines how to integrate verification into the development process without overwhelming complexity or resource demands.
