Formal specification

Related lectures (29)

Page 3 of 3

Explores martingales in stochastic systems, focusing on formal analysis, termination analysis, and stability verification.

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

Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.

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

Introduces Stainless, a verifier for Scala, emphasizing bug prevention and library access.

Introduces formal verification methodology and Presburger arithmetic for program verification and automated reasoning.

Discusses predicting future behavior and analyzing outliers in choice models.

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

Explores fuzzing, bug oracles, code reviews, and automated testing techniques, emphasizing the importance of sanitization in detecting faults.