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)
шерстяной ленин

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
1011 12 13 14 1516
1718 19 20212223
24252627282930

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 22nd, 2017 04:14 am
Powered by Dreamwidth Studios