▲ 1 pointsA Deductive System for (Hardware-Software) Contract Satisfaction Proofsarxiv.orgby matt_d·3mo ago·0 comments·view on hn ↗