Apr. 8th, 2017

bamalip: (Default)
(свалка)

ACL2 - doc
Verified programming in F* - source
Theorem Proving in Lean - source
Specifying Systems (TLA+) - source
SPARK 2014 - list
Liquid Haskell - blog
Dafny - github
Twelf - wiki
NURPL - source | amazon
VCC: A Verifier for Concurrent C - home
Z3 - Guide

остальное тут: http://rise4fun.com/

* * *

Apr. 8th, 2017 08:45 pm
bamalip: (Default)
товарищ, будь бдителен! враг не дремлет!


Profile

bamalip: (Default)
шерстяной ленин

July 2017

S M T W T F S
       1
2 3 4 56 7 8
9 1011 12 13 14 15
161718 19 2021 22
23 2425 26 27 2829
3031     

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 29th, 2017 11:52 am
Powered by Dreamwidth Studios