Concept
Postcondition
Related lectures (21)
Unfolding recursive functions in Stainless
Covers the concept of unfolding recursive functions using the Stainless tool.
Hoare Logic: Postconditions and Preconditions
Covers Hoare logic, postconditions, preconditions, and program behavior proofs.
Verifying Programs with Stainless: Part 2
Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.
Data Abstraction: Rational Numbers
Covers data abstraction in rational numbers, including client's view, self-reference, preconditions, assertions, constructors, and end markers.
Stainless Tutorial: Demo.scala Basics
Covers the basics of writing and verifying Scala code using the Demo.scala file.
Data-Parallel Operations: Scala Programming
Covers data-parallel operations in Scala programming, focusing on fold operations and aggregate operation.
Stainless Verification System Tutorial
Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.
Correctness of Compilers: Part 2
Explores the correctness of compilers, emphasizing expression evaluation, bytecode compilation, and stack operations.
First Steps with Stainless
Introduces Stainless, a verifier for Scala, emphasizing bug prevention and library access.
Automated Planning: Modeling and Constraints
Explores automated planning, constraints, and applications in diverse domains, emphasizing the challenges and efficiency of solving planning problems.