Tutorial 2 : From Verification to Specification Inference
Tutorial 2 : From Verification to Specification Inference
MENU



Examples

DOWNLOAD


Importance of Specification

  • Entailment
    • Selective Entailment
    • Infer Heap Location
    • Avoid False
    • Second Order
  • Pure and Specification Inference
    • Simple Pre
    • Simple Post
    • Simple Recursion
    • Reference Parameter
    • Tail Recursion
    • Numeric Zip Method
  • Incremental Specification Inference
    • List Append Method
  • Shape Specification Inference
    • Second-Order Bi-Abduction
    • Predicate Derivation
    • Predicate Normalization

    Example programs

    Example programs (on the left panel) can be run Online.