Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Formal specification

Related lectures (29)

Dependable Architectures and Software Log in to Mediaspace to watch this video

Explores dependable architectures, error detection, fault-tolerant structures, and software reliability through examples like the Patriot Missile failure and ABB dual controller.

Finite State Machines (FSMs)Log in to Mediaspace to watch this video

Explores Finite State Machines (FSMs) in digital system design, covering Mealy and Moore FSMs, state diagrams, VHDL implementation, and state encoding.

Designing Provably Performant Networked Systems Log in to Mediaspace to watch this video

Explores the design of networked systems for robust performance, emphasizing real-time applications and formal verification.

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.

Encoder and Decoder for Prefix-Free Codes Log in to Mediaspace to watch this video

Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.

Hedonic Pricing Method: Housing and Environmental Goods Log in to Mediaspace to watch this video

Covers the Hedonic Pricing Method for assessing implicit prices of goods and introduces the Contingent Valuation Method for estimating environmental goods' value.

Error Management in LabVIEW Log in to Mediaspace to watch this video

Emphasizes error management in LabVIEW, source file analysis, and program execution with Xcode.

Data Abstraction: Modules and Specifications in Coq Log in to Mediaspace to watch this video

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

Purely Functional Priority Queue Log in to Mediaspace to watch this video

Covers optimal purely functional priority queues, Scala implementation, Stainless integration, operations properties, and binomial queues.