search

stanford-centaur / pono

Pono: A flexible and extensible SMT-based model checker
Other
68 stars 31 forks source link

README update #311

Closed lonsing closed 1 year ago

lonsing commented 1 year ago

Minor revision of README, adding publications.