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
Z notation
Graph Chatbot
Related lectures (5)
Login to filter by course
Login to filter by course
Reset
Memory Model
Explores the formalization of memory models and their crucial role in program optimization.
Automatic Synthesis of OS Code
Covers the automatic synthesis of OS code to ease the burden of developers in configuring translation hardware.
Finite State Machines (FSMs)
Explores Finite State Machines (FSMs) in digital system design, covering Mealy and Moore FSMs, state diagrams, VHDL implementation, and state encoding.
Data Abstraction: Modules and Specifications in Coq
Discusses data abstraction in programming, focusing on modules and specifications in Coq.
From Tests to Proof
Explores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.
Previous
Page 1 of 1
Next
