Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Software Correctness: Testing and Verification
Graph Chatbot
Related lectures (48)
From Tests to Proof
Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.
What is Formal Verification?
Introduces formal verification and its advantages over traditional testing methods, discussing automated theorem proving and compiling correctness statements into verification conditions.
Introduction to Formal Verification
Introduces formal verification, emphasizing rigorous proof of system correctness and the use of mathematical models.
Property-Based Testing: Advanced Techniques
Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.
Stainless Tutorial: Verification of Scala Code
Covers the use of Stainless, a verification tool for Scala, to ensure the correctness of Scala code.
Merge Sort: Sorting Algorithm
Explains the merge sort algorithm, its correctness, and time complexity compared to other sorting algorithms.
Correctness of Compilers: Part 1
Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.
Optimization Algorithms: Greedy Approach
Explores optimization problems and greedy algorithms for efficient decision-making.
Polymorphism and Proofs
Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Sorting Algorithms: Selection and Insertion
Introduces selection and insertion sorting algorithms, explaining their correctness and time complexity.
Compiler verification: Challenges and Benefits
Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.
Property Estimation and Exponential Family
Covers test statistics, threshold values, and lower bounds for estimating properties.
Complexity & Induction: Algorithms & Proofs
Covers worst-case complexity, algorithms, and proofs including mathematical induction and recursion.
Property-Based Testing: QuickChick
Log in to Mediaspace to watch this video
Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.
From Tests to Proof
Log in to Mediaspace to watch this video
Explores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.
Property-Based Testing: Advanced Techniques and Applications
Log in to Mediaspace to watch this video
Explores advanced software testing techniques, including property-based testing and various forms of fuzzing, to effectively test complex systems.
Concept Selection and Tradespace Exploration
Log in to Mediaspace to watch this video
Explores concept selection, Pugh Matrix method, preliminary design reviews, system integration, and verification in systems engineering.
Software Engineering: Best Practices
Log in to Mediaspace to watch this video
Covers tools and best practices for software writing, debugging, testing, and managing code.
Algorithms in Computer Science: Search and Sort Techniques
Log in to Mediaspace to watch this video
Provides an overview of essential search and sort algorithms in computer science.
Analysis of Randomized Quick Sort
Log in to Mediaspace to watch this video
Analyzes the running time and comparisons in randomized quick sort, proving its efficiency and optimality in comparison sorting.
Previous
Page 1 of 3
Next
