Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Introduction to Formal Verification
Graph Chatbot
Related lectures (28)
Previous
Page 2 of 3
Next
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.
Automated Reasoning: Formal Verification with LISA
Explores formal verification using the LISA proof assistant and the OCBSL Equivalence Checker.
Disasters, Successes, and Inductive Invariants
Explores software disasters, successful verifications, transition systems, and invariants in systems.
Formally Correct Intermittent Systems
Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.
Introduction to Quantifier Elimination for Presburger Arithmetic
Introduces formal verification methodology and Presburger arithmetic for program verification and automated reasoning.
Formal Verification and Program Synthesis
Explores Viktor Kuncak's research in formal verification, program synthesis, and teaching activities at EPFL.
Untitled
Untitled
Concept Selection and Tradespace Exploration
Explores concept selection, Pugh Matrix method, preliminary design reviews, system integration, and verification in systems engineering.
Software Disasters and Successes: Verification Impact and Transition Systems
Explores software verification impact, disasters, successes, and transition systems.
