3 ms·A Deductive System for (Hardware-Software) Contract Satisfaction Proofs1 points by matt_d 6mo ago