Software Verification

Feeds to Scour
SubscribedAll
Scoured 53 posts in 11.8 ms

ESBMC-PLC: Formal Verification of IEC 61131-3 Ladder Diagram Programs Using SMT-Based Model Checking

 📐Formal Methods  Content type: Academic
arxiv.org·

EXCLUSIVE: Le Coq Sportif Marks Maradona Milestone With Capsule as It Kicks Off New Era

 📐Formal Methods  Content type: News
wwd.com
·

Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI

 📐Formal Methods
techcrunch.com··Cited by 2 articles

The local maxima we need to reach the next global maximum

 📐Formal Methods
therealadam.com·

Announcing the Bloomberg Infrastructure and Security Ph.D. Fellowship Winners for 2025-2026

 📐Formal Methods  Content type: News
bloomberg.com·

Formal Methods and the Future of Programming

 🔀Concurrency  Content type: Blog
blog.janestreet.com··Hacker News·Cited by 1 article·Covers: Lean: Programming Language and Theorem Prover, OxCaml, Jane Street's extension of OCaml is now open-source +3 more

Perplexity's Bumblebee, Evading Cloud Logging, AI Vuln Hunting Spec

 📐Formal Methods
tldrsec.com··Covers 8 stories

Our MongoDB TLA+ Workshop

 📐Formal Methods  Content type: Blog
muratbuffalo.blogspot.com··Blogger

The French School of Programming

 📐Formal Methods  Content type: Academic  Content type: Reference
link.springer.com··Hacker News

The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.

 📐Formal Methods  Content type: Blog
medium.com
·

Show HN: Talos – Open-source WASM interpreter for Lean

 📐Formal Methods  Content type: Code
github.com··Hacker News

Cadence ChipStack AI Super Agent Achieves Full Autonomy For Chip Development

 📐Formal Methods
pokde.net·

Advanced Compilers: The Self-Guided Online Course

 📐Formal Methods  Content type: Academic
cs.cornell.edu··Hacker News·Covers: llvm.org - 20.3 kb

Architect Labs nabs $24M to speed up chip design projects with AI

 📐Formal Methods
siliconangle.com·

Looking for a cryptography audit? Here's where to go

 📐Formal Methods
cryptologie.net·

Omega v1.0 Final Candidate: a typed governance language for autonomous systems

 📐Formal Methods
omega-lang.org··Hacker News

Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery

 🚀Startups  Content type: News
thenextweb.com·

Verifying LTL for Infinite State Systems via Termination Analysis

 📐Formal Methods  Content type: Academic
arxiv.org·

Cameroon's sleeveless shirt and the other kit curiosities that shocked the world

 📐Formal Methods  Content type: News
nytimes.com
·

Cranelift

 🧪PBT  6 articles covering this post
cranelift.dev··Hacker News·Cited by 6 articles·Covers: How do I get started?, GCC GNU website is down +2 more

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help