The Inverse Method

By A. Degtyarev, Andrei Voronkov. Handbook of Automated Reasoning, 2001

533 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/a35f4c2718aee1c16318f72eef42c09fb9b993a4

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Mark Harman

In Computer Networks and Communications

1. Mark Harman
2. Hussein S. M. Zedan

In Hardware and Architecture

1. Mark Harman
2. Robert M. Hierons

Citations in the corpus

• Using formal specifications to support testing (2009, methodology): “­ability [Lynce and Marques-Silva 2002], and theorem proving [Robinson and Voronkov 2001], with modern automated tools for verifying software often combining several of them.”