Subversion
Written by: Lorna Jane Mitchell
Featured Refcardz: Top Refcardz:
  1. Git
  2. DNS
  3. Data Mining
  4. Spring Data
  5. Subversion
  1. Spring Data
  2. Subversion
  3. Spring Config.
  4. Spring Annotations
  5. Data Mining
150+ Refcardz Available · Get them all

Link Details

Previous | Next

Surprise Me!

Link 913869 thumbnail
User 448255 avatar

By dotCore
via medicaldesignbriefs.com
Submitted: Jan 28 2013 / 02:31

Formally Verifying Heart Pump Software with SPARK and Echo
The Ada-based SPARK programming language and toolset offer strong guarantees about the behavior of software systems.
Vote up
Vote down
  • 2
  • 0
  • 93
  • 39
SaveShareSend Tags: , , ,

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)