Hacker News new | past | comments | ask | show | jobs | submit
sas224dbm | on: LLMs are making formal software verification feasible at a much larger scale
Verification : code does what the specs say Validation : Customer confirms it meets the intent of the ask