Edgars Nemše
@EdgarsNemse
CEO @GenLayerFDN, Co-founder of @GenLayer
加入 November 2010
2.3K 正在關注 1.2K 粉絲
a test suite can pass forever without being able to catch a single bug.
that's why, at @GenLayer, we test the tests too.
part 2 of making GenLayer 100% secure: five interlocking layers of testing, from ordinary unit tests to machine-checked proofs
顯示更多
