8828 search results - page 199 / 1766 » Formal methods in practice |
135
click to vote
ICSM
1996
IEEE
15 years 9 months ago
1996
IEEE
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...
148
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
133
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
140
Voted
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
144
click to vote
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...