Link Details

Link 886449 thumbnail
User 888727 avatar

By redjamjar
Submitted: Dec 03 2012 / 21:00

Probably the most interesting aspect of the Whiley language is that it supports compile-time verification of preconditions, postconditions and other invariants.  An important aspect of how this works is the generation of verification conditions. A verification condition is a logical expression which, if proved to be satisfiable, indicates an error in the program.
  • 2
  • 0
  • 196
  • 32

Add your comment

Html tags not supported. Reply is editable for 5 minutes. Use [code lang="java|ruby|sql|css|xml"][/code] to post code snippets.

Voters For This Link (2)

Voters Against This Link (0)

    Spring Integration
    Written by: Soby Chacko
    Featured Refcardz: Top Refcardz:
    1. Search Patterns
    2. Python
    3. C++
    4. Design Patterns
    5. OO JS
    1. PhoneGap
    2. Spring Integration
    3. Regex
    4. Git
    5. Java