Work

Data-driven equivalence checking

Year: 2013

Type: conference-paper

Source: Conference on Object-Oriented Programming Systems, Languages, and Applications

DOI: 10.1145/2509136.2509509

Authors: Rahul Sharma, Eric Schkufza, Berkeley Churchill, Alex Aiken

Institution: Stanford University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2149674423

FWCI: 6.455

Cites: 48

Cited by: 84

Related to: 10