Dear Bill Gates, have you thought about using the #Tezos blockChain to coordinate and track all the actions of your Bill and Melinda Gates foundation? #smartcontracts #formalverification #programming #blockchain #healthcare

The amazing @actionshrimp wowing us with Imandra 🙀💕
If you’re looking for a theorem prover, a reasoning engine that will allow you to formally verify your OCaml / Reason code, look no further 😉🎉

Check out the docs over at docs.imandra.ai

We released RecordFlux 0.4.1 with GNAT Studio IDE integration, better error messages and many detail improvements. github.com/Componolit/Rec… #Security #Embedded #IoT #Ada #SPARK #Python #FormalVerification

Charles Hoskinson #formalverification

Great opportunity for those interested in developing on Tezos! There will be a live stream link so stay tuned✨
#tezos #smartcontract #formalverification #blockchain $XTZ

Bottom line: #CardanoCommunity needs to understand that a bad #protocol can pass #FormalVerification and #MathematicalProof if it omits deadly factors and admits #shortcomings in the way back.

Charles Hoskinson I’m here to discuss. End/🧵

Need to use a theorem prover in your #Ada program? Try AZ3, our Ada binding to the Z3 Theorem Prover. github.com/Componolit/AZ3 #Ada Programming #FormalVerification

Werenode's smart contracts were developed with Archetype language and formally verified, thanks to Edukera's team.
#Tezos #ElectricVehicles #formalverification #archetype

6/ hakwan lau 🇺🇦, @justziit and Aaron Li walked us through a new #MOOC focused on #ZKRollups , the next generation of the 1wallet: on-chain authenticator w/ social recovery and #FormalVerification .

bit.ly/FormalV
bit.ly/zku4you

RISC-V Summit 2023 ended in Barcelona but the #riscv revolution has only just begun. As more RISC-V silicon would flood the market in coming decades, functional correctness of silicon and time-to-market will play a crucial role. #formalverification would play a critical role in…

A new blog post about the way we represent 'methods' and 'associated functions' in our translation from #Rust to #Coq : formal.land/blog/2023/04/2… for our tool github.com/formal-land/co… #formalverification

Myspace failed bc they gave users control of designing their own pages & the site looked like a mess.

Facebook succeeded bc they created guardrails so users couldn't butcher the design.

$zil has taken a page out of FB winning strategy by creating #scilla w #formalverification

What you always wanted to know about #formalverification but were afraid to ask! Ask our CTO Claire Xen 🏳️‍⚧️🧙🏻‍♀️ 💖💛💙 BLM 🏴🚩 at booth 604. Exhibits are free. Register here bit.ly/2QXVd0y

Verified implementation of FA 1.2 with Archetype. Article below. assets.tqtezos.com/docs/token-con… #tezos #archertype #formalverification

CertiK has been often compared to $QSP

Their team did not hold back in the latest reply explaining differences.

#formalverification #unhackable

The Workshop on #Tezos #SmartContract languages and #FormalVerification will take place at University @ParisDiderot.
The event will start this Thursday at 13:30 CET.
We will share a live stream link for remote participants.

At Ackah Business Immigration Law, we simplify and accelerate the process of hiring and relocating international talent, freeing up your time, resources, & energy. Contact us at +1 403 452 9515 or [email protected] for your immigration needs! #CanadaImmigration #ImmigrationLaw

'Proving the correctness of a binary search procedure with SPARK/Ada' by Pino Tattari #DEVCommunity #spark #ada #formalverification dev.to/pinotattari/pr…

A magnetic wristband, a waterproof speaker and a hand cream made with dads in mind.

Champaign Blockchain Meetup University of Illinois Research Park event for April with Runtime Vеrification presenting at the #IllinoisBlockchainSummit . Thanks Gies Business and The Grainger College of Engineering for inviting us to be a part of it!

#Blockchain #formalverification

Proud of @actionshrimp and Team Imandra Imandra! Come say hi and join us in Imandra jam sessions in Vienna at the amazing ReasonConf! #imandra #reasonml #artificialintelligence #formalverification

#Tezos is ideal for those interested in #functionalprogramming languages. Tezos is looking for developers working in #MachineLearning #ArtificialIntelligence #formalverification . Looking for #devjobs ? Get grant from the #Tezos foundation with funding. $XTZ tezos.foundation/grants/

El Hombre. El Mito. La Leyenda.
ahtaotee.com/collection/the…
Title can be changed.

Dr Yasmin Rafiq St Andrews CompSci is giving a #SFMoVeS talk on “Continual Runtime Formal Verification of QoS Properties with Confidence Intervals” SICSA Scotland UofG Computing Science S4 Programme Grant QEST Conference #formalverification

Woohoo! Our book has officially arrived in hardcover format! After putting in years of work, it's an indescribable feeling to finally have the physical copy in my hands.

More information: link.springer.com/book/10.1007/9…

#SymbolicComputerAlgebra #SCA #FormalVerification #Circuits