[oopsla'25] On The Impact Of Formal Verification On Software Development
Synopsis
On the Impact of Formal Verification on Software Development (Video, OOPSLA2 2025) Eric Mugnier, Yuanyuan Zhou, Ranjit ...
You Might Also Like
![[OOPSLA'25] Incremental Certified Programming](https://i.ytimg.com/vi/7uQnVfyK6YA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAWSMZfbVxLXPcpgDRGjkp8mALIKg)
![[OOPSLA'25] Towards Verifying Crash Consistency](https://i.ytimg.com/vi/rg0QSQa1Dp8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAyKBab1BPUewmoFPTYGL6xkExoBA)
![[OOPSLA'25] Automatically Verifying Replication-aware Linearizability](https://i.ytimg.com/vi/-mMCNj7lYQs/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDUibyIyBlrq_l_P8RCimVEssvMtg)
![[OOPSLA'25] Products of Recursive Programs for Hypersafety Verification](https://i.ytimg.com/vi/uzSiRsqLvu4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLD1hymtCInQreth-M6l43YbNWdjBg)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.