SMT-LIB

Format for interaction with SMT solvers. https://smtlib.cs.uiowa.edu/
Specification format

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.