Example of filled template.md

Name:

Z3Test

Application domain/field:

Satisfiability checking Hybrid systems Other field

Type of tool (e.g. model checker, test generator):

SMT solver

Expected input thing:

SMT query

Expected input format:

SMT-LIB

Expected output:

SAT or UNSAT

Internals (tools used, frameworks, techniques, paradigms, ...):

A, B, C, Description of things

Comments:

Important thoughts...

URIs (github, websites, etc.):

https://google.com/

Last commit date:

1 January 1970

Last publication date:

11-01-0101

List of related papers:

A Unified framework for B B: The tool for your verification problems C 2.0: Scalable verification for hybrid systems

Related tools (tools mentioned or compared to in the paper):

CVC4