Search Sciweavers | Sciweavers

1023 search results - page 20 / 205

» A Formal Method for Program Slicing

click to vote

CAV
2004
Springer

108views Hardware» more CAV 2004»

Formal Analysis of Java Programs in JavaFAN

14 years 2 months ago

Download formal.cs.uiuc.edu

Azadeh Farzan, Feng Chen, José Meseguer, Gr...

claim paper

Read More »

click to vote

WCRE
1995
IEEE

89views Software Engineering» more WCRE 1995»

Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering

14 years 4 days ago

Download gannodss.csamu.org

Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...

Gerald C. Gannod, Betty H. C. Cheng

claim paper

Read More »

click to vote

FPGA
2010
ACM

276views FPGA» more FPGA 2010»

Accelerating Monte Carlo based SSTA using FPGA

14 years 5 months ago

Download cadlab.cs.ucla.edu

Monte Carlo based SSTA serves as the golden standard against alternative SSTA algorithms, but it is seldom used in practice due to its high computation time. In this paper, we acc...

Jason Cong, Karthik Gururaj, Wei Jiang, Bin Liu, K...

claim paper

Read More »

click to vote

FM
2009
Springer

118views Formal Methods» more FM 2009»

Certifiable Specification and Verification of C Programs

14 years 3 months ago

Download www.informatik.uni-bremen.de

Christoph Lüth, Dennis Walter

claim paper

Read More »