▲ 4 pointsSPACER and Z3: Accessible, reliable model checking as theorem provingmicrosoft.comby matt_d·7y ago·0 comments·view on hn ↗