Parameterized Program Equivalence Checking

Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition

Theory and Applications of Satisfiability Testing – SAT 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94144-8_22 ◽

2018 ◽

pp. 365-382 ◽

Cited By ~ 4

Author(s):

Shubhani Gupta ◽

Aseem Saxena ◽

Anmol Mahajan ◽

Sorav Bansal

Keyword(s):

Equivalence Checking ◽

Program Equivalence ◽

Smt Solvers ◽

Effective Use

Download Full-text

Program equivalence checking by two-tape automata

Cybernetics and Systems Analysis ◽

10.1007/s10559-010-9232-z ◽

2010 ◽

Vol 46 (4) ◽

pp. 554-562 ◽

Cited By ~ 1

Author(s):

V. A. Zakharov

Keyword(s):

Equivalence Checking ◽

Program Equivalence

Download Full-text

ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code

Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ◽

10.1145/3368089.3409757 ◽

2020 ◽

Author(s):

Sahar Badihi ◽

Faridah Akinotcho ◽

Yi Li ◽

Julia Rubin

Keyword(s):

Equivalence Checking ◽

Common Code ◽

Program Equivalence

Download Full-text

Verification of Source Code Transformations by Program Equivalence Checking

Lecture Notes in Computer Science - Compiler Construction ◽

10.1007/978-3-540-31985-6_15 ◽

2005 ◽

pp. 221-236 ◽

Cited By ~ 17

Author(s):

K. C. Shashidhar ◽

Maurice Bruynooghe ◽

Francky Catthoor ◽

Gerda Janssens

Keyword(s):

Source Code ◽

Equivalence Checking ◽

Code Transformations ◽

Program Equivalence

Download Full-text

Deviation-Based Obfuscation-Resilient Program Equivalence Checking With Application to Software Plagiarism Detection

IEEE Transactions on Reliability ◽

10.1109/tr.2016.2570554 ◽

2016 ◽

Vol 65 (4) ◽

pp. 1647-1664 ◽

Cited By ~ 10

Author(s):

Jiang Ming ◽

Fangfang Zhang ◽

Dinghao Wu ◽

Peng Liu ◽

Sencun Zhu

Keyword(s):

Equivalence Checking ◽

Plagiarism Detection ◽

Program Equivalence ◽

Resilient Program

Download Full-text

Program Equivalence Checking for the Facilitation of Quantum Offloading

2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC) ◽

10.1109/ccwc51732.2021.9375948 ◽

2021 ◽

Author(s):

Jon Speer ◽

Jukka K. Nurminen

Keyword(s):

Equivalence Checking ◽

Program Equivalence

Download Full-text

Equivalence checking of arithmetic expressions using fast evaluation

Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems - CASES '05 ◽

10.1145/1086297.1086317 ◽

2005 ◽

Cited By ~ 4

Author(s):

Mohammad Ali Ghodrat ◽

Tony Givargis ◽

Alex Nicolau

Keyword(s):

Equivalence Checking ◽

Fast Evaluation ◽

Arithmetic Expressions

Download Full-text

ICCAD-2020 CAD contest in X-value equivalence checking and benchmark suite

Proceedings of the 39th International Conference on Computer-Aided Design ◽

10.1145/3400302.3415739 ◽

2020 ◽

Author(s):

Chih-Jen (Jacky) Hsu ◽

Chi-An (Rocky) Wu ◽

Ching-Yi Huang ◽

Kei-Yong Khoo

Keyword(s):

Equivalence Checking ◽

Benchmark Suite

Download Full-text

Probabilistic equivalence checking based on high-level decision diagrams

14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems ◽

10.1109/ddecs.2011.5783130 ◽

2011 ◽

Cited By ~ 2

Author(s):

Anton Karputkin ◽

Raimund Ubar ◽

Mati Tombak ◽

Jaan Raik

Keyword(s):

Equivalence Checking ◽

Decision Diagrams ◽

High Level

Download Full-text

Sufficiency-based filtering of invariants for Sequential Equivalence Checking

2011 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2011.6114159 ◽

2011 ◽

Cited By ~ 1

Author(s):

Wei Hu ◽

Huy Nguyen ◽

Michael S. Hsiao

Keyword(s):

Equivalence Checking ◽

Sequential Equivalence Checking

Download Full-text