Search
 
   

5 results for "domain:spark-2014.org"

  1. 6
    Proving the Ghost Common Divisor (GCD) in SPARK formalmethods programming spark-2014.org
    doublec avatar via doublec 1 year ago | cached | 12 comments
  2. 2
    Auto-Active Proof of Red-Black Trees in SPARK pdf programming spark-2014.org
    doublec avatar via doublec 1 year ago | cached | no comments
  3. 14
    Are we there yet? 20 years of industrial, theorem proving with SPARK (2014) pdf compsci programming security spark-2014.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  4. 3
    The Most Obscure Artithmetic Run-time Error Contest practices programming security spark-2014.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  5. 1
    SPARK 2014 : Manual Proof with Ghost Code in SPARK 2014 ☶ programming spark-2014.org
    lojikil avatar via lojikil 4 years ago | cached | no comments