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
Concept
Hoare logic
Formal sciences
Theoretical computer science
Programming language theory
Formal verification
Graph Chatbot
Related lectures (13)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 2
Next
Verifying Compiler: Spec# Approach
Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.
Formally Verified Chisel Designs
Explores formally verifying Chisel designs using SMT solvers and covers examples like delayed assertions and proofs by induction.
An Introduction to Iris: Higher-Order Concurrent Separation Logic
Introduces Iris, a logical framework for reasoning about safety and correctness of concurrent higher-order imperative programs, emphasizing its unique characteristics and applications.
