Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
3 results for "domain:ou.edu"
3
Translating Clojure to ACL2 Code for Verification (2016)
☶
pdf
clojure
formalmethods
ou.edu
via
nickpsecurity
2 months ago
|
cached
|
no comments
0
4
Ziria - A Wireless DSL for Systems Programming
☶
pdf
networking
programming
oucsace.cs.ohiou.edu
via
nickpsecurity
8 months ago
|
cached
|
no comments
0
6
VeriStar - Efficient, verified prover for separation logic (2012)
☶
pdf
formalmethods
programming
oucsace.cs.ohiou.edu
via
nickpsecurity
1 year ago
|
cached
|
no comments
0