Top Tweets for #DeepSpec
CertiK's Co-Founder and Assistant Professor of Computer Science at @Columbia University, Professor @guronghuieric, spoke at #NEODevCon 2019 🌟
To learn more about #FormalVerification, #DeepSpec, #CertiKOS, and #DeepSEA, watch our video below!
https://t.co/Xu7INI0CgT
@certikorg conducts proofs locally and composes all the proofs together to deliver a certificate showing that the Smart Contract is correct in respect to the specifications.
#FormalVerification #DeepSpec #Blockchain
Had a great time lecturing at the DeepSpec Summer School! #deepspec
Great to see #deepspec #verification ideas being taught given all the known #cybersecurity challenges. https://t.co/ZFyK819ljY
My interview with Benjamin Pierce for @Release_nl at @splashcon: https://t.co/SI9jx6t0nJ #DeepSpec #splash16
Race conditions - aka the heisenbug uncertainty principle #deepspec
The main tool discussed in the #DeepSpec workshop, called coq, has an ~8 month release cycle. https://t.co/oJXyfq29Lk
Something of note: repeated use of word 'check' (instead of test) at #DeepSpec I wonder if that is intentional
What is rich, what is complex, how complex is complex? #deepspec
Misperceptions about specifications #deepspec
Researchers team up to develop software that eliminates bugs https://t.co/erwGrWDxnb #developers #software #DeepSpec
Researchers team up to develop software that eliminates bugs https://t.co/6OsXgKMNC1 #developers #software #DeepSpec
Researchers team up to develop software that eliminates bugs https://t.co/33HUlbwoxD #developers #software #DeepSpec
Last Seen Hashtags on Sotwe
padrehija
Seen from Guatemala
finansalköle
Seen from Turkey
舞蹈生
Seen from United States
kulijpret
Seen from Malaysia
CrimeanBridgeWillFall
Seen from United Kingdom
ntueng
Seen from United States
ifşa
Seen from Turkey
omomlokal
Seen from Indonesia
3p
Seen from United States
喷水
Seen from United States
Trends for you
Most Popular Users
Elon Musk 
@elonmusk
240.8M followers
Barack Obama
@barackobama
119.2M followers
Donald J. Trump
@realdonaldtrump
111.7M followers
Cristiano Ronaldo
@cristiano
111.1M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.8M followers
NASA
@nasa
92.2M followers
Justin Bieber
@justinbieber
91M followers
KATY PERRY
@katyperry
87.9M followers
Taylor Swift
@taylorswift13
81.8M followers
Lady Gaga
@ladygaga
73.3M followers
Virat Kohli
@imvkohli
70.3M followers
Kim Kardashian
@kimkardashian
69.9M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
64M followers
Neymar Jr
@neymarjr
63.1M followers
The Ellen Show
@theellenshow
62.4M followers
CNN
@cnn
61.9M followers
Selena Gomez
@selenagomez
61M followers
X
@x
60.8M followers