MySystem

Jump to bottom Edit New page

Madalina Erascu edited this page Feb 24, 2023 · 5 revisions

MySystem

Short description of MySystem.

What inputs are supported?

What properties can be verified?

What are the tool’s main techniques for the supported (input, property) pairs?

What external tools are used? (e.g., compilers, SMT solvers)

What is the tool’s URL?

Example(s)

Other relevant information

References