English
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#formalverification search results

lamg_dev's profile picture. Logic studies and answers *what makes sense* Ideology is religion without God 🇩🇪
Luis 🦔
 @lamg_dev
Sep 17

The Pumping Lemma! 🥵 It was a long proof. #coq #rocq #formalverification

lamg_dev's tweet image. The Pumping Lemma! 🥵 It was a long proof. #coq #rocq #formalverification
1
0
4
1
254
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Jul 29

Harmonic's IMO 2025 results (Harmonic's model Aristotle achieved gold medal performance, solving 5 problems). github.com/harmonic-ai/IM… #FormalVerification #ProofAssistant #LeanProver #LLMs #Math #IMO

Jose_A_Alonso's tweet card. Contribute to harmonic-ai/IMO2025 development by creating an account on GitHub.
GitHub - harmonic-ai/IMO2025
Source: github.com
1
5
21
5
939
Daniel_Grosse's profile picture. Professor for Complex Systems at @jkulinz. Interested in #EDA, #Verification, #FormalMethods, #RISCV, #VirtualPrototype, #SystemC.
Daniel Große
 @Daniel_Grosse
Feb 28, 2023

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

Daniel_Grosse's tweet image. 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
2
4
50
8
3K
DoulosTraining's profile picture. Global training solutions for engineers creating the world's electronics
Doulos
 @DoulosTraining
Oct 17

Dealing with Inconclusive Formal Proofs 📅Wednesday 22 October 2025 ⏰Europe & Asia: 10am (BST) & Americas: 10am (PDT) Find out more & register: doulos.com/events/webinar… Partner: @Cadence Presenter: Doug Smith #DoulosTraining #DoulosKnowHowWebinars #FormalVerification

0
0
0
0
29
0xDestinyae's profile picture. i have contributed to the top 3 biggest defi protocols u can think of. alt degen: @boydestinyae
BoyD (rtrd/acc)
 @0xDestinyae
Sep 2

FV. Was extremely good at maths in school i came 1st position for both Maths & F-math with a 95% avg. Started solving complex calculus using trig functions at the age of 15. Today math is useful in sr. First certoraRun. #FormalVerification @0xiSanford @alexzoid_eth

0xDestinyae's tweet image. FV. Was extremely good at maths in school i came 1st position for both Maths & F-math with a 95% avg. Started solving complex calculus using trig functions at the age of 15. Today math is useful in sr. First certoraRun. #FormalVerification @0xiSanford @alexzoid_eth
0xDestinyae's tweet image. FV. Was extremely good at maths in school i came 1st position for both Maths & F-math with a 95% avg. Started solving complex calculus using trig functions at the age of 15. Today math is useful in sr. First certoraRun. #FormalVerification @0xiSanford @alexzoid_eth
8
6
23
0
995
TrustInSoft's profile picture. #Safety & #Security Verification Software.
TrustInSoft
@TrustInSoft
Jun 4

Tired of countless false positives and missed bugs? 👀 (lol) TrustInSoft Analyzer uses exhaustive static analysis to mathematically verify code correctness. Learn how: bit.ly/4jUSVx9 #FormalVerification #SecureCode

TrustInSoft's tweet image. Tired of countless false positives and missed bugs? 👀 (lol) TrustInSoft Analyzer uses exhaustive static analysis to mathematically verify code correctness. Learn how: bit.ly/4jUSVx9 #FormalVerification #SecureCode
0
0
0
0
32
leanprover's profile picture. Lean is a dependently-typed programming language and theorem prover.
Lean
@leanprover
Jun 23

In this 10-minute UCLA Connect talk, Terence Tao provides an accessible and compelling argument for "citizen math" and broad collaboration in research #mathematics via #formalverification using proof assistants like #LeanLang. ➡️ youtube.com/watch?v=K376q3…

leanprover's tweet image. In this 10-minute UCLA Connect talk, Terence Tao provides an accessible and compelling argument for "citizen math" and broad collaboration in research #mathematics via #formalverification using proof assistants like #LeanLang. ➡️ youtube.com/watch?v=K376q3…
0
12
43
12
3K
TrustInSoft's profile picture. #Safety & #Security Verification Software.
TrustInSoft
@TrustInSoft
Sep 10, 2024

Elevate your software security with TrustInSoft’s Formal Verification Services. 🔒 Ensure zero critical vulnerabilities and get expert-driven insights. Learn how TrustInSoft can help you achieve unmatched security and reliability: bit.ly/4fSd71c #FormalVerification

TrustInSoft's tweet image. Elevate your software security with TrustInSoft’s Formal Verification Services. 🔒 Ensure zero critical vulnerabilities and get expert-driven insights. Learn how TrustInSoft can help you achieve unmatched security and reliability: bit.ly/4fSd71c #FormalVerification
TrustInSoft's tweet image. Elevate your software security with TrustInSoft’s Formal Verification Services. 🔒 Ensure zero critical vulnerabilities and get expert-driven insights. Learn how TrustInSoft can help you achieve unmatched security and reliability: bit.ly/4fSd71c #FormalVerification
TrustInSoft's tweet image. Elevate your software security with TrustInSoft’s Formal Verification Services. 🔒 Ensure zero critical vulnerabilities and get expert-driven insights. Learn how TrustInSoft can help you achieve unmatched security and reliability: bit.ly/4fSd71c #FormalVerification
TrustInSoft's tweet image. Elevate your software security with TrustInSoft’s Formal Verification Services. 🔒 Ensure zero critical vulnerabilities and get expert-driven insights. Learn how TrustInSoft can help you achieve unmatched security and reliability: bit.ly/4fSd71c #FormalVerification
0
0
1
0
38
TrustInSoft's profile picture. #Safety & #Security Verification Software.
TrustInSoft
@TrustInSoft
Nov 15, 2024

Enhance cybersecurity with advanced formal verification tools for multi-layered security. TrustInSoft Analyzer’s Root Cause Investigator identifies memory issues and undefined behaviors, enabling precise debugging. 🔍 Learn more: bit.ly/3C1pzfT #FormalVerification

TrustInSoft's tweet image. Enhance cybersecurity with advanced formal verification tools for multi-layered security. TrustInSoft Analyzer’s Root Cause Investigator identifies memory issues and undefined behaviors, enabling precise debugging. 🔍 Learn more: bit.ly/3C1pzfT #FormalVerification
0
0
1
0
56
ThalesDigiSec's profile picture. News and insights from Thales, the global leader in Digital Identity & Security. We bring trust to customers in an increasingly connected world.
Thales Cyber and Digital
 @ThalesDigiSec
Aug 19, 2024

400 years ago formal reasoning was introduced suggesting that discourse could be mathematically described 🧠 🖥️ This theory became practical in the computer age as #FormalVerification for testing #code & is now used to fight #cybercrime. Find out more: thls.co/7h1350T0Pv8

0
0
0
0
275
leanprover's profile picture. Lean is a dependently-typed programming language and theorem prover.
Lean
@leanprover
Jun 3

Terence Tao has released a new #LeanLang project that connects #FormalVerification with #MathematicsEducation: The companion to "Analysis I" is intended to provide a new avenue for engaging with the proofs and exercises in Tao's foundational "Analysis I" text. 👇

3
74
399
174
24K
nullcon's profile picture. International #Security Conference, Training & Exhibition Platform - the neXt security thing! ✈️Up next #NullconGoa2026
NULLCON
 @nullcon
Jul 30

In this session at #NullconBerlin2025, @intrigus_ will use formal verification (read: bug-finding with mathematical superpowers 🧠✨) to crack open V8’s Turboshaft JIT engine. Know More: nullcon.net/berlin-2025/sp… #V8Engine #FormalVerification #JSTalks #SecurityResearch

nullcon's tweet image. In this session at #NullconBerlin2025, @intrigus_ will use formal verification (read: bug-finding with mathematical superpowers 🧠✨) to crack open V8’s Turboshaft JIT engine. Know More: nullcon.net/berlin-2025/sp… #V8Engine #FormalVerification #JSTalks #SecurityResearch
0
2
5
1
746
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Nov 7

It’s the specification, stupid! (Seeking a significant shift in the traditional software development and verification paradigm). ~ Manfred Broy, Harald Ruess, Natarajan Shankar. dl.acm.org/doi/full/10.11… #FormalVerification

0
2
11
7
579
DoulosTraining's profile picture. Global training solutions for engineers creating the world's electronics
Doulos
 @DoulosTraining
Oct 20

Upcoming Webinar: Dealing with Inconclusive Formal Proofs This webinar will be useful to anyone who wants to learn to make more effective use of formal. Register: doulos.com/events/webinar… #FormalVerification #Jasper #Cadence #Verification

DoulosTraining's tweet image. Upcoming Webinar: Dealing with Inconclusive Formal Proofs This webinar will be useful to anyone who wants to learn to make more effective use of formal. Register: doulos.com/events/webinar… #FormalVerification #Jasper #Cadence #Verification
0
0
0
0
100
MutualKnowledge's profile picture. Sell faster. Close faster. Settle faster. BtoB SaaS company offering solutions to make business smoother - Salesforce partner
MuKn
 @MutualKnowledge
May 20, 2024

Check out this snippet from our fascinating podcast featuring @StephaneGeyres diving into the world of Formal Methods. Want to explore more? Watch the full episode on YouTube! 👉loom.ly/3Af-Uwc #FormalMethods #AI #FormalVerification

0
3
3
1
133
YehiaLazkany's profile picture. Associate Professor in Computing @ GU
Yehia Abd Alrahman
 @YehiaLazkany
Nov 20

PhD position focused on automatic synthesis of programs for spatial Multi-Agent Systems. #formalmethods #formalverification #modelchecking Apply here! web103.reachmee.com/ext/I005/1035/…

4
0
0
0
43
amlabed's profile picture. $CC
Amal Abedπ² 🟠 GAIB
 @amlabed
Nov 10

The formal verification of critical smart contracts by Talus labs uses mathematical proofs to guarantee their correctness, providing the highest level of security assurance possible. @Talus_Labs #FormalVerification #Security

0
0
0
0
3
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
Nov 7

It’s the specification, stupid! (Seeking a significant shift in the traditional software development and verification paradigm). ~ Manfred Broy, Harald Ruess, Natarajan Shankar. dl.acm.org/doi/full/10.11… #FormalVerification

0
2
11
7
579
pstanislaus's profile picture. Managing Director @SecurityOak
Philip Stanislaus
 @pstanislaus
Nov 5

• @kaepora — Applied #Cryptography & #FormalVerification expert, 250+ audits (#ZK) • Björn Hanneke — Researcher in #TokenDesign & #IncentiveMechanisms (#CryptoEconomics, #DeFiSecurity)

1
0
3
0
165
New_Electronics's profile picture. Keeping you up to date with the latest trends in the #electronics sector. News, features, blogs, videos and more.
New Electronics
 @New_Electronics
Nov 4

TrustInSoft, a developer of static code analysis, has announced the availability of TrustInSoft Analyzer 2025.10, the latest release of our formal verification toolchain. newelectronics.co.uk/content/news/t… #TrustInSoft #FormalVerification #RustProgramming

0
0
1
0
63
chuyue_sun's profile picture. CS PhD student @stanford
Chuyue (Livia) Sun
 @chuyue_sun
Nov 4

Authored by: Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu Lahiri, Shan Lu, David Dill & Clark Barrett #FormalVerification #RustLang #AI4Code #LLMs #Verus #ProofAutomation

0
0
1
0
164
blockchain_scot's profile picture. 🏴󠁧󠁢󠁳󠁣󠁴󠁿 Scotland's trusted voice in blockchain. Supporting innovation & education in the UK. Join our monthly meetup on Oct 8th: https://t.co/9HlGtU0BhM
Blockchain Scotland
 @blockchain_scot
Oct 29

[3/7] Then @NethermindEth's Head of Formal Verification presents something properly fascinating: how they're mathematically verifying the FRI protocol in Lean. It's a glimpse into how we ensure blockchain's cryptographic foundations are genuinely sound. #FormalVerification #Web3

1
0
2
0
27
Travis_Eyo's profile picture. Blockchain Enthusiast ll Contents Creator ll Web 3 Expert ll Community mananger @Chainlink9ja
Samuel
 @Travis_Eyo
Oct 21

@nubit_org's Formal Verification is very legitimate. It's like a superhero shield protecting Nubit's technology, utilising deep maths to ensure that everything in their stack is completely secure and functional. #FormalVerification #Bitcoin #Thunderbolt #Nubit

2
1
2
0
102
DoulosTraining's profile picture. Global training solutions for engineers creating the world's electronics
Doulos
 @DoulosTraining
Oct 20

Upcoming Webinar: Dealing with Inconclusive Formal Proofs This webinar will be useful to anyone who wants to learn to make more effective use of formal. Register: doulos.com/events/webinar… #FormalVerification #Jasper #Cadence #Verification

DoulosTraining's tweet image. Upcoming Webinar: Dealing with Inconclusive Formal Proofs This webinar will be useful to anyone who wants to learn to make more effective use of formal. Register: doulos.com/events/webinar… #FormalVerification #Jasper #Cadence #Verification
0
0
0
0
100
DoulosTraining's profile picture. Global training solutions for engineers creating the world's electronics
Doulos
 @DoulosTraining
Oct 17

Dealing with Inconclusive Formal Proofs 📅Wednesday 22 October 2025 ⏰Europe & Asia: 10am (BST) & Americas: 10am (PDT) Find out more & register: doulos.com/events/webinar… Partner: @Cadence Presenter: Doug Smith #DoulosTraining #DoulosKnowHowWebinars #FormalVerification

0
0
0
0
29
nullreturn_io's profile picture. Smart-contract audits & formal verification • Infra consulting • Client‑focused service by experienced team • Flexible & open • DMs -open
Null Return
 @nullreturn_io
Oct 16

💥 Exploit: outdated function cook() let attacker mint extra stablecoins. Root cause — deprecated code and poor specification. 👉 Lesson: composite functions = composite risks. Formal specs catch what audits sometimes miss. #FormalVerification #Security

0
0
0
0
19
nullreturn_io's profile picture. Smart-contract audits & formal verification • Infra consulting • Client‑focused service by experienced team • Flexible & open • DMs -open
Null Return
 @nullreturn_io
Oct 9

Regulation like the GENIUS Act isn’t slowing innovation — it’s pushing projects to get stronger. Formal verification helps teams launch stablecoins that are secure, compliant, and audit-ready. #NullReturn #DeFiSecurity #Formalverification

0
0
0
0
22
tkorwin's profile picture. DeFi
tkg
 @tkorwin
Jun 9, 2019

Microsoft Research released a formal verification and analysis system for smart contracts developed in the Solidity. Source: microsoft.com/en-us/research… github.com/Microsoft/veri… arxiv.org/pdf/1812.08829… #solidity #formalVerification #microsoft #smartcontracts #blockchain

tkorwin's tweet image. Microsoft Research released a formal verification and analysis system for smart contracts developed in the Solidity. Source: microsoft.com/en-us/research… github.com/Microsoft/veri… arxiv.org/pdf/1812.08829… #solidity #formalVerification #microsoft #smartcontracts #blockchain
0
26
63
3
0
TrustInSoft's profile picture. #Safety & #Security Verification Software.
TrustInSoft
@TrustInSoft
Jan 17, 2019

Looking forwards to attend #FIC2019! Want to know more about #FormalVerification in #Cybersecurity? Meet us at @Hexatrust Pavillon (Stand A7) - Major Partner of @FIC_fr 📅 January 22 - 23📍in Lille, France.

TrustInSoft's tweet image. Looking forwards to attend #FIC2019! Want to know more about #FormalVerification in #Cybersecurity? Meet us at @Hexatrust Pavillon (Stand A7) - Major Partner of @FIC_fr 📅 January 22 - 23📍in Lille, France.
0
3
4
0
0
AsiaTezos's profile picture. Official Twitter Account of Tezos Southeast Asia Facebook: https://t.co/XnMZYmcFWf | Linkedin: https://t.co/pAjFae4e1k | Instagram: https://t.co/1AmQDCY2aP
Tezos Southeast Asia
 @AsiaTezos
Jan 21, 2019

Diego explains at the university of Lisbon the challenge of combining DSLs and generic programming languages with #FormalVerification techniques, in a certified compilation environment, with unusual cost models. Creating a #blockchain like #Tezos requires solving many problems.

AsiaTezos's tweet image. Diego explains at the university of Lisbon the challenge of combining DSLs and generic programming languages with #FormalVerification techniques, in a certified compilation environment, with unusual cost models. Creating a #blockchain like #Tezos requires solving many problems.
0
17
45
0
0
InputOutputHK's profile picture. We are a research and development company committed to using the peer-to-peer innovations of blockchain to build accessible financial services for all.
Input | Output
@InputOutputHK
May 7, 2018

Cardano now has a formal specification for a wallet. We believe it's the first time that a cryptocurrency has had this buff.ly/2wf1oIE #formalverification #Haskell #cryptocurrency @cardanocom

InputOutputHK's tweet image. Cardano now has a formal specification for a wallet. We believe it's the first time that a cryptocurrency has had this buff.ly/2wf1oIE #formalverification #Haskell #cryptocurrency @cardanocom
InputOutputHK's tweet image. Cardano now has a formal specification for a wallet. We believe it's the first time that a cryptocurrency has had this buff.ly/2wf1oIE #formalverification #Haskell #cryptocurrency @cardanocom
9
119
417
0
0
Synopsys's profile picture. Synopsys is the leader in engineering solutions from silicon to systems. Powering innovation today that ignites the ingenuity of tomorrow.
Synopsys
@Synopsys
Apr 24, 2018

Get an introduction on formal verification methods from the Synopsys & @DanielNenni co-authored book “Finding Your Way Through Formal Verification” #Synopsys #SemiWiki #FormalVerification okt.to/nqbKLK

Synopsys's tweet image. Get an introduction on formal verification methods from the Synopsys & @DanielNenni co-authored book “Finding Your Way Through Formal Verification” #Synopsys #SemiWiki #FormalVerification okt.to/nqbKLK
0
2
2
0
0
epicenterbtc's profile picture. We interview founders, builders, and thought leaders in the blockchain & crypto-finance industry - Hosts @seb3point0 @crainbf @tw_tter @MeherRoy @FelixLts
Epicenter Podcast
@epicenterbtc
Aug 27, 2018

The K Framework & Formal Verification Efforts in the #Blockchain Space #formalverification #blockchainsecurity 📝: bit.ly/2wu58Te 📺: bit.ly/2wolQ6H

epicenterbtc's tweet image. The K Framework & Formal Verification Efforts in the #Blockchain Space #formalverification #blockchainsecurity 📝: bit.ly/2wu58Te 📺: bit.ly/2wolQ6H
0
2
5
0
0
AdamRusch's profile picture. Teaching Prof, UIUC Info Sciences. Champaign Blockchain Meetup Organizer. @IntersectMBO Board of Directors. @AceAlliance_CC Voting Member.
Adam Rusch
@AdamRusch
Apr 22, 2022

Champaign Blockchain Meetup @UIResearchPark event for April with @rv_inc presenting at the #IllinoisBlockchainSummit. Thanks @giesbusiness and @uofigrainger for inviting us to be a part of it! #Blockchain #formalverification

AdamRusch's tweet image. Champaign Blockchain Meetup @UIResearchPark event for April with @rv_inc presenting at the #IllinoisBlockchainSummit. Thanks @giesbusiness and @uofigrainger for inviting us to be a part of it! #Blockchain #formalverification
1
5
15
0
0
AdaCoreCompany's profile picture. AdaCore helps people build safe, secure and reliable software.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
May 7, 2020

Interested in learning about #formalverification? Download our free book! A set of guidelines developed jointly by AdaCore & @thalesgroup about their adoption of the #SPARK language. adacore.com/books/implemen… #formalmethods

AdaCoreCompany's tweet image. Interested in learning about #formalverification? Download our free book! A set of guidelines developed jointly by AdaCore & @thalesgroup about their adoption of the #SPARK language. adacore.com/books/implemen… #formalmethods
0
3
13
1
0
kadena_io's profile picture. $KDA is the only L1 #PoW that scales. Founded by @SirLensALot & @_wjmartino_, started @JPMorgan’s 1st blockchain and @secgov CryptoGroup https://t.co/fH4voQhPmG
Kadena
 @kadena_io
Aug 22, 2019

Pact 3.1 is Unleashed! This new version brings expanded #formalverification coverage for our interfaces & governance, and our new #crosschain features in defpact which make cross-chain multi-step transactions easier. Full details: bit.ly/Pact31m

kadena_io's tweet image. Pact 3.1 is Unleashed! This new version brings expanded #formalverification coverage for our interfaces & governance, and our new #crosschain features in defpact which make cross-chain multi-step transactions easier. Full details: bit.ly/Pact31m
0
7
22
0
0
AdaCoreCompany's profile picture. AdaCore helps people build safe, secure and reliable software.
AdaCore | Ada/C/C++ tools for critical software
@AdaCoreCompany
Feb 16, 2021

We are broadening our #cybersecurity capabilities with the acquisition of @Componolit, provider of software components & #formalverification tools for trusted systems. This brings new capabilities to our suite of automated testing & #staticanalysis tools. adacore.com/press/componol…

AdaCoreCompany's tweet image. We are broadening our #cybersecurity capabilities with the acquisition of @Componolit, provider of software components & #formalverification tools for trusted systems. This brings new capabilities to our suite of automated testing & #staticanalysis tools. adacore.com/press/componol…
0
6
13
0
0
Daniel_Grosse's profile picture. Professor for Complex Systems at @jkulinz. Interested in #EDA, #Verification, #FormalMethods, #RISCV, #VirtualPrototype, #SystemC.
Daniel Große
 @Daniel_Grosse
Feb 28, 2023

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

Daniel_Grosse's tweet image. 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
2
4
50
8
3K
GoodGuyMat's profile picture. go bills
Mat
 @GoodGuyMat
May 4, 2018

CertiK has been often compared to $QSP Their team did not hold back in the latest reply explaining differences. #formalverification #unhackable

GoodGuyMat's tweet image. CertiK has been often compared to $QSP Their team did not hold back in the latest reply explaining differences. #formalverification #unhackable
5
1
9
0
0
mariesleaf's profile picture. ("strange local loops", @cornell_tech, @informalinc) Prev: @kadena_io @mcgillu
Marie Leaf 🍃
 @mariesleaf
Apr 8, 2019

I wrote a short piece on how Pact (Pactlang.org) our #smartcontract lang at @kadena_io, complete w/ #formalverification, manages upgrades, and has on-contract #totalgovernance (i.e. native multisig). Check it out. Thanks to @SirLensALot @tmrolfe @ViviennexChen

mariesleaf's tweet image. I wrote a short piece on how Pact (Pactlang.org) our #smartcontract lang at @kadena_io, complete w/ #formalverification, manages upgrades, and has on-contract #totalgovernance (i.e. native multisig). Check it out. Thanks to @SirLensALot @tmrolfe @ViviennexChen
1
0
8
0
0
Rolf_Drechsler's profile picture. Professor for Computer Architecture (@agra_uni_bremen) at @UniBremen. Dean. Director at @DFKI, Head of the Cyber-Physical Systems Group, @noerdman, @truscova
Rolf Drechsler
 @Rolf_Drechsler
Oct 11, 2021

Today giving an invited talk in the context of the project Algorithmic Foundations for Social Advancement (#AFSA) in #Japan on polynomial #FormalVerification #DFG #Koselleck #verification #correctness

Rolf_Drechsler's tweet image. Today giving an invited talk in the context of the project Algorithmic Foundations for Social Advancement (#AFSA) in #Japan on polynomial #FormalVerification #DFG #Koselleck #verification #correctness
0
1
3
0
0
CertiK's profile picture. Smart contract audits, KYC, on-chain monitoring, bug bounties, penetration testing, and more. Also follow ➕ @CertiKCommunity 🚨 @CertiKAlert 🤝
CertiK
@CertiK
Sep 23, 2019

#FormalVerification has been associated with mission-critical applications including NASA’s mars rover, and #Blockchain is proven as no exception At CertiK, we use Formal Verification to prove or disprove that the protocols, or business functionalities are working as intended.

CertiK's tweet image. #FormalVerification has been associated with mission-critical applications including NASA’s mars rover, and #Blockchain is proven as no exception At CertiK, we use Formal Verification to prove or disprove that the protocols, or business functionalities are working as intended.
0
3
9
0
0
CertiK's profile picture. Smart contract audits, KYC, on-chain monitoring, bug bounties, penetration testing, and more. Also follow ➕ @CertiKCommunity 🚨 @CertiKAlert 🤝
CertiK
@CertiK
Jul 30, 2019

Korea! Check out our CertiK team via @coindeskkorea⭐️ 📍Learn more: bit.ly/2Kcwa8v #FormalVerification #SmartContracts

CertiK's tweet image. Korea! Check out our CertiK team via @coindeskkorea⭐️ 📍Learn more: bit.ly/2Kcwa8v #FormalVerification #SmartContracts
0
2
8
0
0
symbiotic_eda's profile picture. smart EDA empowerment, Yosys SymbiYosys Formal Methods Risc-V FPGA Verilog
Symbiotic EDA
 @symbiotic_eda
Jan 28, 2019

What you always wanted to know about #formalverification but were afraid to ask! Ask our CTO @oe1cxw at booth 604. Exhibits are free. Register here bit.ly/2QXVd0y

symbiotic_eda's tweet image. What you always wanted to know about #formalverification but were afraid to ask! Ask our CTO @oe1cxw at booth 604. Exhibits are free. Register here bit.ly/2QXVd0y
0
7
11
1
0

Something went wrong.


Something went wrong.


United States Trends