1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Emiko Soroka, Mykel J. Kochenderfer, Sanjay Lall
Satisfiability modulo theories (SMT) is a core tool in formal verification. While the SMT-LIB specification language can be used to interact with theorem proving software, a high-l…