formal verification

formal verification is a research_field in our research taxonomy.

Related papers