Top Tweets for #FormalSpecification
Smart contracts in Cardano, Claudio Hermida
- We show how the eUTxO model of blockchain comes about from a consideration of handling account-based state in functional programming
- Show Cardano's validators as verifiable specifications of a contract-method input-output behaviour
Vitalik is looking for $AGRS.
When will he find it?
#LogicalAI #FormalSpecification #DecentralizedAI
One application of AI that I am excited about is AI-assisted formal verification of code and bug finding.
Right now ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.
Tau Net AI Blockchain Network | Business Update | September 2023 #AI #Logic #Formalspecification #blockchain
Tau Net AI Blockchain Network | Development Update | September 2023 #AI #Logic #Formalspecification #blockchain
Tau Net AI Blockchain Network | Q&A | September 2023 #AI #Logic #Formalspecification #blockchain
Tau Net AI Blockchain Network | Development Update | August 2023 #AI #Logic #Formalspecification #blockchain
Tau Net AI Blockchain Network | Business Update | August 2023 #AI #Logic #Formalspecification #blockchain
Tau Net AI Blockchain Network | Business Update | July 2023 #AI #Logic #Formalspecification #blockchain
Tau Net AI Blockchain Network | Development Update | July 2023 #AI #Logic #Formalspecification #blockchain
#Mathematics New Special Issue Book is available online!
📚 #Logic and #Computation
🎓 Edited by Răzvan Diaconescu
🔗 Link of the book: https://t.co/LWk96QCz6I
#fuzzylogic #formalspecification
@MDPIOpenAccess @ComSciMath_Mdpi @BooksMDPI
Why Formal Specification is Not Popular in Mainstream Software Development? @TauLogicAI #Tauchain #TauNet #chatgpt #LLM #formalspecification #softwaredevelopment #challenges
https://t.co/K2wAfPG5wg
📢 Join us 11/12 4pm CT for "Specifying➕Verifying Compilation of #SecureC to Tagged Hardware" Tolmach will discuss work w/ #FormalSpecification➕compiler #verification towards PIPE-enhanced #MachineLevel #CodeCorrectness. 👀 Online talk info (inc. url): https://t.co/e57d8LY7ZU
The best survey on the state of the art #FormalSpecification and #FormalVerification of #AutonomousRoboticSystems @FormalMtds #FormalMethods #AutonomousRobotics
When things get serious #Hadoop #S3 #AWS #ObjectStores #TLA+ #FormalSpecification #DistributedSystems @ozanerdem
Most Popular Users
Elon Musk 
@elonmusk
240.9M followers
Barack Obama
@barackobama
119.2M followers
Donald J. Trump
@realdonaldtrump
111.8M followers
Cristiano Ronaldo
@cristiano
111.8M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
98M followers
NASA
@nasa
92.2M followers
Justin Bieber
@justinbieber
91.2M followers
KATY PERRY
@katyperry
88.3M followers
Taylor Swift
@taylorswift13
82.2M followers
Lady Gaga
@ladygaga
73.7M followers
Virat Kohli
@imvkohli
70.9M followers
Kim Kardashian
@kimkardashian
70.1M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
64.2M followers
Neymar Jr
@neymarjr
63.8M followers
The Ellen Show
@theellenshow
62.4M followers
CNN
@cnn
61.8M followers
Selena Gomez
@selenagomez
61.4M followers
X
@x
60.8M followers