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
Formal Languages: Concepts
Graph Chatbot
Related lectures (42)
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.
Designing Formally Correct Intermittent Systems
Log in to Mediaspace to watch this video
Explores designing formally correct intermittent systems for extreme edge computing platforms, emphasizing correctness, reliability, and security.
Previous
Page 3 of 3
Next
