conv.

← The whole story
AI
AI makes formal verification central to software engineering

Harmonic launches Aristotle formal verification for C and Verilog

1 Oct 27 · 16d ago · 1 post · 1 source · development 1 of 3

Harmonic released Aristotle, extending its formal verification technology from research mathematics to software and hardware verification. The tool can mathematically prove whether specified properties hold across all possible inputs, addressing the verification bottleneck created by AI-generated code. Harmonic raised $120 million in Series C funding (valued at $1.45 billion) to support development.

Harmonic launches Aristotle formal verification for C and Verilog
thedataexchange.media

“For businesses that rely on software and hardware, mathematically verifying critical systems provides a new way to identify defects and vulnerabilities before they become costly or catastrophic problems.”

Tudor Achim

Leo de Moura Lean creator, VP at AWSTudor Achim Harmonic CEO and co-founderHarmonic Formal verification software companyZellic and V12 Security and verification research firms

The whole story posts the bright band is this development · numbered dots are the others · click one to jump

Peak 4 pieces in 4h at Oct 31, 7 AM; 19 pieces over 16 days (7 posts · 12 comments) Oct 27, 11 AM — 1 piece · 1 post — Hacker News 1Oct 27, 3 PM — quietOct 27, 7 PM — quietOct 27, 11 PM — quietOct 28, 3 AM — quietOct 28, 7 AM — quietOct 28, 11 AM — quietOct 28, 3 PM — quietOct 28, 7 PM — quietOct 28, 11 PM — quietOct 29, 3 AM — quietOct 29, 7 AM — 1 piece · 1 post — Hacker News 1Oct 29, 11 AM — quietOct 29, 3 PM — quietOct 29, 7 PM — quietOct 29, 11 PM — quietOct 30, 3 AM — quietOct 30, 7 AM — quietOct 30, 11 AM — 1 piece · 1 post — Hacker News 1Oct 30, 3 PM — 1 piece · 1 post — Hacker News 1Oct 30, 7 PM — quietOct 30, 11 PM — quietOct 31, 3 AM — 2 pieces · 1 post · 1 comment — Mastodon 1, Hacker News 1Oct 31, 7 AM — 4 pieces · 1 post · 3 comments — Hacker News 3, Mastodon 1Oct 31, 11 AM — 4 pieces · 4 comments — Hacker News 4Oct 31, 3 PM — 2 pieces · 2 comments — Hacker News 2Oct 31, 7 PM — quietOct 31, 11 PM — quietNov 1, 2 AM — quietNov 1, 6 AM — quietNov 1, 10 AM — quietNov 1, 2 PM — quietNov 1, 6 PM — 1 piece · 1 comment — Hacker News 1Nov 1, 10 PM — 1 piece · 1 post — Hacker News 1Nov 2, 2 AM — quietNov 2, 6 AM — 1 piece · 1 comment — Hacker News 1Nov 2, 10 AM — quietNov 2, 2 PM — quietNov 2, 6 PM — quietNov 2, 10 PM — quietNov 3, 2 AM — quietNov 3, 6 AM — quietNov 3, 10 AM — quietNov 3, 2 PM — quietNov 3, 6 PM — quietNov 3, 10 PM — quietNov 4, 2 AM — quietNov 4, 6 AM — quietNov 4, 10 AM — quietNov 4, 2 PM — quietNov 4, 6 PM — quietNov 4, 10 PM — quietNov 5, 2 AM — quietNov 5, 6 AM — quietNov 5, 10 AM — quietNov 5, 2 PM — quietNov 5, 6 PM — quietNov 5, 10 PM — quietNov 6, 2 AM — quietNov 6, 6 AM — quietNov 6, 10 AM — quietNov 6, 2 PM — quietNov 6, 6 PM — quietNov 6, 10 PM — quietNov 7, 2 AM — quietNov 7, 6 AM — quietNov 7, 10 AM — quietNov 7, 2 PM — quietNov 7, 6 PM — quietNov 7, 10 PM — quietNov 8, 2 AM — quietNov 8, 6 AM — quietNov 8, 10 AM — quietNov 8, 2 PM — quietNov 8, 6 PM — quietNov 8, 10 PM — quietNov 9, 2 AM — quietNov 9, 6 AM — quietNov 9, 10 AM — quietNov 9, 2 PM — quietNov 9, 6 PM — quietNov 9, 10 PM — quietNov 10, 2 AM — quietNov 10, 6 AM — quietNov 10, 10 AM — quietNov 10, 2 PM — quietNov 10, 6 PM — quietNov 10, 10 PM — quietYesterday, 2 AM — quietYesterday, 6 AM — quietYesterday, 10 AM — quietYesterday, 2 PM — quietYesterday, 6 PM — quietYesterday, 10 PM — quietToday, 2 AM — quietToday, 6 AM — quietToday, 10 AM — quietToday, 2 PM — quietToday, 6 PM — quiet ◂ 1 earlier23
2Leo de Moura argues AI makes formal…3Zellic and V12 achieve end-to-end x86…
Oct 29Oct 31Nov 2Nov 4Nov 6Nov 8Nov 10now · 9:53 PM ET

All 3 developments of AI makes formal verification central to software engineering →

Hacker NewsMastodon