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
What is Formal Verification?
Graph Chatbot
Related lectures (43)
From Tests to Proof
Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.
Automated Testing: Fuzzing and Sanitization
Explores fuzzing, bug oracles, code reviews, and automated testing techniques, emphasizing the importance of sanitization in detecting faults.
Compiler verification: Challenges and Benefits
Explores the challenges and benefits of compiler verification, emphasizing the importance of verifying compilers for critical software.
Stainless Tutorial: Verification of Scala Code
Covers the use of Stainless, a verification tool for Scala, to ensure the correctness of Scala code.
Correctness of Compilers: Part 1
Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.
Specification and Verification of a Blockchain Light Client
Covers the design, implementation, and formal verification of distributed systems, focusing on verifiable distributed systems and organizations.
Untitled
Stochastic Hybrid Systems
Explores time-determinator model checking, U-Pool scheduling, worst-case execution time analysis, and statistical model checking for cyber-physical systems.
Disasters, Successes, and Inductive Invariants
Explores software disasters, successful verifications, transition systems, and invariants in systems.
Formal Verification and Program Synthesis
Explores Viktor Kuncak's research in formal verification, program synthesis, and teaching activities at EPFL.
Coq: Overview
Introduces Coq and focuses on proving the theorem and_comm step by step.
Formal Verification and Program Synthesis
By the instructor Viktor Kuncak explores formal verification, program synthesis, and teaching activities at EPFL.
Harmonic Forms: Main Theorem
Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.
Property-Based Testing: Advanced Techniques
Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.
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.
Software Correctness: Testing and Verification
Log in to Mediaspace to watch this video
Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.
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.
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.
Verification and Validation: Testing and Risk Management
Log in to Mediaspace to watch this video
Explores testing methodologies, risk management, and the Flight Readiness Review process 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.
Previous
Page 1 of 3
Next
