LLVM Improvements for Better Verification
Offered By: Linux Foundation via YouTube
Course Description
Overview
Explore LLVM improvements aimed at enhancing verification processes in this 28-minute conference talk by Alan Jowett. Gain insights into the latest advancements and techniques implemented within the LLVM framework to bolster code verification capabilities, potentially leading to more robust and reliable software development practices.
Syllabus
LLVM improvements for better verification (Alan Jowett)
Taught by
Linux Foundation
Tags
Related Courses
Pattern-Oriented Software Architectures: Programming Mobile Services for Android Handheld SystemsVanderbilt University via Coursera Engineering Maintainable Android Apps
Vanderbilt University via Coursera Software Design as an Element of the Software Development Lifecycle
University of Colorado System via Coursera Secure Software Development
Pluralsight Secure Software Concepts for CSSLP®
Pluralsight