Formal Verification by Reverse Synthesis (2009)
Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer
Abstract. In this paper we describe a novel yet practical approach to the formal verification of implementations. Our approach splits verification into two major parts. The first part verifies an...
Exploiting Refactoring in Formal Verification (2009)
Xiang Yin, John Knight, Westley Weimer
In previous work, we introduced Echo, a new approach to the formal verification of the functional correctness of software. Part of what makes Echo practical is a technique called verification...
Formal Verification By Reverse Synthesis (2009)
Xiang Yin, John C. Knight, Elisabeth A. Nguyen
Abstract. In this paper we describe a novel yet practical approach to the formal verification of implementations. Our approach splits verification into two major parts. The first part verifies an...
Formal Verification By Reverse Synthesis (2008)
Xiang Yin, John C. Knight, Elisabeth A. Strunk, Westley Weimer
Abstract. In this paper we describe Echo, a novel yet practical approach to the formal verification of implementations. Echo splits verification into two major parts. The first part verifies an...
Software Assurance By Synergistic Static And Dynamic Analysis (2008)
Benjamin Taitelbaum, John Knight, Xiang Yin
We introduce the notion of software assurance by synergistic static and dynamic analysis. For each desired property of the software, we combine a static and a dynamic element such that the...
Fu, Jian, Yin, Xiang, Tong, Limin
We propose a two-color scheme of atom guide and 1D optical lattice using evanescent light fields of different transverse modes. The optical waveguide carries a red-detuned light and a blue-detuned...
Using genetic algorithms in K-Means fast learning artificial neural networks for clustering / (2006)
"Supervisor, Dr. Tay Leng Phuan, Alex."
Elisabeth A. Strunk, M. Anthony Aiello, John C. Knight, Elisabeth Strunk, Tony Aiello, John Knight, ...
Model checkers and model-based development tools are becoming increasingly prominent in industrial practice. There are a wide variety of these tools available, with a number of different capabilities...
Echo: a practical approach to formal verification (2005)
Elisabeth A. Strunk, Xiang Yin
Safe operation is crucial to safety-critical systems, and formal verification of implementations is a desirable means to increase confidence in safety. Traditional formal verification approaches...
Echo: a practical approach to formal verification (2005)
Elisabeth Strunk, Xiang Yin, John Knight
Safe operation is crucial to safety-critical systems, and formally verified implementations are desirable. Traditional formal verification approaches follow the Floyd-Hoare style, setting up a direct...
Echo: a practical approach to formal verification (2005)
Elisabeth A. Strunk, Xiang Yin
Safe operation is crucial to safety-critical systems, and formal verification of implementations is a desirable means to increase confidence in safety. Traditional formal verification approaches...
Lamb, Molly M., Yin, Xiang, Barriga, Katherine, Hoffman, Michelle R., Barón, Anna E., Eisenbarth, George S., ...
Context: Dietary factors may trigger or exacerbate the autoimmune disease process.