Incredibly grateful to @sigplan.bsky.social and @sigplan-pldi.bsky.social for awarding #LeanLang the Programming Languages Software Award 2025 at #PLDI2025!

#LeanProver #FormalMethods #ProgrammingLanguages #Mathematics #SoftwareVerification

The #LeanLang Standard Library, under active development at the Lean FRO, envisions providing a reliable and extensible basis for #softwaredevelopment, #softwareverification and #mathematics through verified components, a high-quality API, performance optimization, and best-in-class documentation.

NEW! Leanpub Book LAUNCH 🚀 Logic for Programmers by Hillel Wayne

youtu.be/27IJacqgHSU

#books #leanpublishing #selfpublishing #FormalMethods #LogicForProgrammers #PropertyTesting #TLAPlus #SoftwareVerification

From the Leanpub Blog: Leanpub Book LAUNCH 🚀 Logic for Programmers by Hillel Wayne

leanpub.com/blog/leanpub...

#books #leanpublishing #selfpublishing #FormalMethods #LogicForProgrammers #PropertyTesting #TLAPlus #SoftwareVerification

The Beneficial AI Foundation asks: "Can we prove that Signal's cryptography is secure — not just on paper, but in actual code?" Signal Shot, launched today, aims to find out. Open to contributions.

🔗 beneficialaifoundation.org/blog/signal-shot

#leanlang #leanprover #softwareverification

Congrats to all authors of 𝘛𝘩𝘦 𝘓𝘦𝘢𝘯 𝘛𝘩𝘦𝘰𝘳𝘦𝘮 𝘗𝘳𝘰𝘷𝘦𝘳 (𝘚𝘺𝘴𝘵𝘦𝘮 𝘋𝘦𝘴𝘤𝘳𝘪𝘱𝘵𝘪𝘰𝘯) paper: Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, and Jakob von Raumer!

#LeanLang #LeanProver #FormalMathematics #SoftwareVerification

ldra_technology
@ldra_technology
• Just now
#LDRAvault: Centralise code reviews, coverage & testing results across projects. Get actionable insights via heat maps, trends & more.

✅ Scalable ✅ CI/CD integrated ✅ Real-time

Learn more: ldra.com/products/ld....

#SoftwareVerification #LDRA

🎉 Thanks to all who joined the LDRA Annual Distributor Meeting! Together, we’re ready for a bright future!
🔗 Learn more: www.ldra.com

#LDRA #TASKING #DistributorMeeting #EmbeddedSoftware #SoftwareVerification #Partnership #Growth #SafetyCritical #CyberSecurity

NITheCS Colloquium: ‘English is the New Programming Language (and we are the New Bottleneck)’
👤 Prof Willem Visser (SU & AWS)
📅 Mon, 19 October 2026
🕓 16h00–17h00 SAST
📍 Attend in person or online
buff.ly/LPIKnaw

#GenerativeAI #AICoding #SoftwareVerification #ComputerScience #DataScience

That’s a wrap on the 2025 Summer School on Security Testing & Verification hosted by VUB & KU Leuven.
A big thank you to all expert lecturers, our engaging participants, and the organizers.
Over 4 days, we explored the latest in #securitytesting, #SAST, #DAST, #fuzztesting & #softwareverification

📍 LDRA is heading to Derby for the Rolls-Royce Supplier Day on 9 July 2025
Let’s connect 🔗 www.ldra.com
#LDRA #RollsRoyce #SupplierDay2025 #Aerospace #EmbeddedSystems #SoftwareVerification #FunctionalSafety

Craig’s interpolation theorem, proved in 1957, guarantees a middle formula using only shared symbols. It’s now key for model checking and software verification. Read more: https://getnews.me/understanding-craig-interpolation-in-first-order-logic/ #interpolation #modelchecking #softwareverification