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