#FormalProof - Twitter Hashtag

AdaCore | Tools for High-Integrity Development

over 3 years ago

Exciting news - we are sponsoring the upcoming HCSS event, where our very own Alex Senier will be delivering the presentation 'Bridging the Gap between Protocol Specification and Program Verification'. https://t.co/Fn8NN3z0ci #HCSS #FormalProof

0

2

0

187

Gordana @GeewithaGee

over 5 years ago

#webchampions to celebrate 32 years of the Web Henry Story - the @bblfish renovating, decentralizing, developing and evolving the #webwewant for half of the Webs lifetime. #privacy research, #philosophy of the web and #formalproof with #categorytheory @project_solid

GeewithaGee's tweet photo. #webchampions to celebrate 32 years of the Web

Henry Story - the @bblfish
renovating, decentralizing, developing and evolving the #webwewant for half of the Webs lifetime.
#privacy research, #philosophy of the web and #formalproof with #categorytheory @project_solid https://t.co/dCeA1lIZT5

0

2

0

Colin James @contificate

over 7 years ago

It's amazing how far the Coq proof assistant has came. #coq #formalproof #typetheory

0

12

3

1

0

BIconnections @biconnections

over 7 years ago

Fork, then deploy on RaspberryPi a full private node of one #Blockchain of the Top 20, one month after the Mainnet launch, Check! #Formalproof #Tezos ;-) Done within le @labBdf on October 2018 #Innovation Thanks to the Team!

biconnections's tweet photo. Fork, then deploy on RaspberryPi a full private node of one #Blockchain of the Top 20, one month after the Mainnet launch, Check! #Formalproof #Tezos ;-)
Done within le @labBdf on October 2018
#Innovation
Thanks to the Team! https://t.co/c7CROjwjP3

0

1

0

Thierry Bedoin @TBedoin

over 7 years ago

Fork, then deploy on RaspberryPi a full private node of one #Blockchain of the Top 20, one month after the Mainnet launch, Check! #Formalproof #Tezos ;-) Done within le @labBdf on October 2018 #Innovation Thanks to the Team!

TBedoin's tweet photo. Fork, then deploy on RaspberryPi a full private node of one #Blockchain of the Top 20, one month after the Mainnet launch, Check! #Formalproof #Tezos ;-)
Done within le @labBdf on October 2018
#Innovation
Thanks to the Team! https://t.co/HvFxP9GTn4

8

109

45

1

0

Ada Programmers @adaprogrammers

over 7 years ago

#FOSDEM2019 daily dose: don't miss @yannick_moy from @AdaCoreCompany talking about proof of pointer programs with ownership in SPARK in the #Ada devroom https://t.co/x35x50osun @fosdem #formalproof #formalverification

0

7

3

0