Program
Verification
Book

SMT-LIB

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

Specification format

ProVerB specific

Markdown description: view/edit
Reason for this entry: used by many (most?) solvers
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.