▲ 6 pointsSpecula: Scaling formal specs for autonomous model checking of system codemuratbuffalo.blogspot.comby matt_d·3d ago·0 comments·view on hn ↗