Formal Methods for Reverse Engineering Gate-Level Netlists

2013 ◽  
Author(s):  
Wenchao Li
Keyword(s):  
Reverse Engineering ◽  
Formal Methods

Reverse-engineering cobol via formal methods

1993 ◽  
Vol 5 (1) ◽  
pp. 13-35 ◽  
Author(s):  
K. Lano ◽  
P. T. Breuer ◽  
H. Haughton
Keyword(s):  
Reverse Engineering ◽  
Formal Methods

Survey on Applications of Formal Methods in Reverse Engineering and Intellectual Property Protection

2018 ◽  
Vol 2 (3) ◽  
pp. 214-224 ◽  
Author(s):  
Shahrzad Keshavarz ◽  
Cunxi Yu ◽  
Samaneh Ghandali ◽  
Xiaolin Xu ◽  
Daniel Holcomb
Keyword(s):  
Intellectual Property ◽  
Reverse Engineering ◽  
Formal Methods ◽  
Intellectual Property Protection

FACILITATING THE MAINTENANCE OF SAFETY-CRITICAL SYSTEMS

1994 ◽  
Vol 04 (02) ◽  
pp. 183-204 ◽  
Author(s):  
GERALD C. GANNOD ◽  
BETTY H.C. CHENG
Keyword(s):  
Software Development ◽  
Reverse Engineering ◽  
Formal Methods ◽  
Formal Specifications ◽  
Critical Systems ◽  
Safety Critical ◽  
Engineering Aspect ◽  
Forward Engineering ◽  
Safety Critical Systems ◽  
High Level

As software is increasingly used to control safety-critical systems, correctness becomes paramount. Formal methods in software development provide many benefits in the forward engineering aspect of software development. Reverse engineering is the process of constructing a high-level representation of a system from existing lower level instanti-ations of that system. Reverse engineering of program code into formal specifications facilitates the utilization of the benefits of formal methods in projects where formal methods may not have previously been used, thus facilitating the maintenance of safety-critical systems.

scholarly journals FORMAL METHODS TO AID THE EVOLUTION OF SOFTWARE

1995 ◽  
Vol 05 (01) ◽  
pp. 25-47 ◽  
Author(s):  
M. P. WARD ◽  
K. H. BENNETT
Keyword(s):  
Software Development ◽  
Reverse Engineering ◽  
Formal Methods ◽  
Software Evolution ◽  
Formal Method ◽  
Wide Spectrum ◽  
Software Systems ◽  
Legacy Systems ◽  
Program Transformations ◽  
Industrial Software

There is a vast collection of operational software systems which are vitally important to their users, yet are becoming increasingly difficult to maintain, enhance, and keep up to date with rapidly changing requirements. For many of these so-called legacy systems, the option of throwing the system away and rewriting it from scratch is not economically viable. Methods are therefore urgently required which enable these systems to evolve in a controlled manner. The approach described in this paper uses formal proven program transformations, which preserve or refine the semantics of a program while changing its form. These transformations are applied to restructure and simplify the legacy systems and to extract higher-level representations. By using an appropriate sequence of transformations, the extracted representation is guaranteed to be equivalent to the code. The method is based on a formal wide spectrum language, called WSL, with an accompanying formal method. Over the last ten years we have developed a large catalog of proven transformations, together with mechanically verifiable applicability conditions. These have been applied to many software development, reverse engineering, and maintenance problems. In this paper, we focus on the results of using this approach in the reverse engineering of medium scale, industrial software, written mostly in languages such as assembler and JOVIAL. Results from both benchmark algorithms and heavily modified, geriatric software are summarized. We conclude that formal methods have an important practical role in software evolution.

Network reconstruction based on steady-state data

2008 ◽  
Vol 45 ◽  
pp. 161-176 ◽  
Author(s):  
Eduardo D. Sontag
Keyword(s):  
Steady State ◽  
Reverse Engineering ◽  
Theoretical Method ◽  
Network Reconstruction ◽  
Quasi Steady State ◽  
State Data

This paper discusses a theoretical method for the “reverse engineering” of networks based solely on steady-state (and quasi-steady-state) data.

Application of formal methods to the VIPER microprocessor

1987 ◽  
Vol 134 (3) ◽  
pp. 133 ◽  
Author(s):  
W.J. Cullyer ◽  
C.H. Pygott
Keyword(s):  
Formal Methods
Sign in / Sign up

Export Citation Format

Share Document