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