Top Tweets for #SoftwareVerification
TrustInSoft has announced the April 2026 release of an updated version of its TISA, adding AI-assisted capabilities aimed at improving productivity in mission-critical development.
https://t.co/zckXIcfYXI
#SoftwareVerification #SafetyCriticalAI #MissionCriticalSystems
New Consulting Service: Software User Community Assessment
https://t.co/G2U0xQvk7R
#تقييم_البرمجيات #اعتماد_البرمجيات #جودة_البرمجيات #تقييم_المستخدمين #ثقة_العملاء #شركات_البرمجيات #اعتماد_مهني #تطوير_البرمجيات #SoftwareAssessment #SoftwareVerification #UserCommunityAssessment

Enhance aerospace software reliability with stronger verification artifacts & reduced rework. Explore practical strategies to boost quality & streamline compliance in our latest blog: https://t.co/uYhSPiMVYT
#AerospaceEngineering #Avionics #SoftwareVerification

🤖 Team Lead Software Verification – Intelligent Device Management (m/f/d) at @MiltenyiBiotec!
A strong IT‑focused role — and AI is becoming a bigger part of our journey every day.
More 👉 https://t.co/15MuBBmnqW
#SoftwareVerification #AI #LifeSciences

TrustInSoft announced a significant update to its software verification platform, TrustInSoft Analyzer (TISA), introducing new AI‑driven capabilities aimed at improving efficiency.
https://t.co/j9x6iMBgE0
#SoftwareVerification #AIInnovation #SafetyCriticalSystems
Congratulations to Dr. @Yoni Zohar on winning the 2026 Rector's Prize for Scientific Innovation! 🏆 His research provides a major breakthrough in #SoftwareVerification, optimizing 40-year-old mathematical theory integration.
@Bar_ilan

Enhance aerospace software reliability with stronger verification artifacts & reduced rework. Explore practical strategies to boost quality & streamline compliance in our latest blog: https://t.co/VpQIo8gqU0
#AerospaceEngineering #SoftwareVerification #EngineeringExcellence
Check out this new paper on program termination and #LLMs on which @jvanegue, Head of Infrastructure & Security Research in our CTO's Office, is a co-author
#softwareverification #arxiv
Check out this new paper on program termination and #LLMs on which @jvanegue, Head of Infrastructure & Security Research in our CTO's Office, is a co-author
#softwareverification #arxiv
Check out this new paper on program termination and #LLMs on which @jvanegue, Head of Infrastructure & Security Research in our CTO's Office, is a co-author
#softwareverification #arxiv
Can LLMs reliably predict program termination?
We evaluate frontier LLMs in the International Competition on Software Verification (SV-COMP) 2025, directly competing with state-of-the-art verification systems.
@AIatMeta @HebrewU @Bloomberg @imperialcollege @ucl
@jordiae @pascalkesseli @jvanegue @HyadataLab @adiyossLC @PeterOHearn12
Paper: https://t.co/5GP6q8E87v
Website: https://t.co/HQwhl2UVLQ
🧵👇
1/n

"Binary analysis" of downloaded software can detect tampering; verify checksums and signatures from official sources. #Checksum #SoftwareVerification #SupplyChainSecurity
Can NCC Group thrive without Escode? Inside the £275m pivot to Cyber https://t.co/yHZIE4glt0 #CyberSecurity #MergersAndAcquisitions #Escrow #TechInvesting #PrivateEquity #ShareBuyback #NCCGroup #TDRCapital #EnterpriseSecurity #SoftwareVerification #CapitalMarkets #UKTech #NCC
@theoremlabs is open-sourcing a Lean translation of 1276 theorems (Rocq) from Software Foundations, Vol 1, Logical Foundations (https://t.co/aF6dKYkmKl)
Lean Translation -> https://t.co/pJLXIZGSNd
Have a nice weekend! 🌞
#LeanLang #LeanProof #Rocq #SoftwareVerification
#MEDICA2025 is here! From now until November 20th, @sqsspain will be in Hall 15, Booth G03-7.
Come meet us and discover how we can help you with medical #softwareverification, #validation and #cybersecurity.
#FENIN #MEDICA #SoftwareTesting #medicaldevices

Game night powered by proofs. @SuccinctLabs
Prove the world’s software even while clutching that controller.
#SoftwareVerification #GameNight #SuccinctStars

"Functional Programming in Lean" (or FPIL), the essential core text for learning how to program in #LeanLang, has been ported to Verso!👇
#FormalVerification #SoftwareVerification #Programming #LearnProgramming
The #LeanLang Standard Library, under active development @leanprover, envisions a reliable and extensible basis for #softwaredevelopment, #softwareverification and #mathematics via verified components, a high-quality API, performance optimization, and best-in-class documentation.

Enhance security with TrustInSoft Analyzer's CWE mapping feature.
Automatically link issues to the CWE database, generate compliant reports, & provide actionable insights for your team. Improve system security and compliance: https://t.co/REY72YUlxg
#CWE #SoftwareVerification

Only two more days left for submissions of presentations and tutorials! visit: https://t.co/JCQuuZN4MC for more info.
#llvm #gcc #rustc #ProgramAnalysis #EmbeddedSystems #Performance #SoftwareVerification #cgo #pldi
At the IICT workshop, we are looking for:
- Keynote speakers (30-60minutes)
- Technical presentations: 20 minutes
- Tutorials (30-60minutes)
- Poster presentations
Submit your proposals soon! Visit for more info.
#llvm #gcc #compilers #StaticAnalysis

🚀Join Sumit Pal as he delves into the future of software testing, where AI takes center stage. This session will cover the full spectrum of AI's impact on testing.
Register now: https://t.co/ZANfIRl8Xl
#TestAutomation #AIinTesting #SoftwareVerification

One pitfall that we have found over the years among some #medicaldevice companies relates to what they mean by "dry running" test cases and/or "informally" executing #softwareverification tests. The pitfall is that the "testing" that is done is really simplistic and lacks the rigorous, risk-based planning that medical device #software requires.
When one formally performs software verification, attention will be focused on:
1) The test case objective is clear including configurations to be covered
2) The test environment and configurations are specified
3) The test cases are challenging and include abnormal scenarios
4) The expected result(s) are specified and objectively evaluated for pass/fail considering accuracy, precision, specificity, sensitivity, etc.
Therefore effective dry runs and/or informal test runs will have this same attention to the test case objective.
Often #softwaredefects / bugs that are identified downstream in "formal" testing that were apparently not found during the dry runs or informal testing. In many cases when we have investigated this further, it has typically traced to lack of rigor during the dry running or informal testing period.
#fda #softwarequalityassurance #safesoftware #iec62304
Last Seen Hashtags on Sotwe
Trends for you
Most Popular Users

Elon Musk 
@elonmusk
240.1M followers

Barack Obama 
@barackobama
119.3M followers

Donald J. Trump 
@realdonaldtrump
111.6M followers

Cristiano Ronaldo 
@cristiano
108.8M followers

Narendra Modi 
@narendramodi
106.9M followers

Rihanna 
@rihanna
97.2M followers

NASA 
@nasa
92.1M followers

Justin Bieber 
@justinbieber
90.5M followers

KATY PERRY 
@katyperry
86.7M followers

Taylor Swift 
@taylorswift13
80.5M followers

Lady Gaga 
@ladygaga
72.1M followers

Kim Kardashian 
@kimkardashian
69.3M followers

YouTube 
@youtube
68.6M followers

Virat Kohli 
@imvkohli
68.4M followers

Bill Gates 
@billgates
63.4M followers

The Ellen Show
@theellenshow
62.5M followers

CNN 
@cnn
61.9M followers

Neymar Jr 
@neymarjr
60.9M followers

X 
@x
60.9M followers

CNN Breaking News 
@cnnbrk
59.9M followers

















