▲ 3 pointsSpecula: Scaling formal specs for autonomous model checking of system codearxiv.orgby matt_d·16d ago·0 comments·view on hn ↗