2514 search results - page 24 / 503 » The use of industrial-strength formal methods |
90
Voted
RSP
1999
IEEE
15 years 6 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
107
click to vote
ICSM
1996
IEEE
15 years 6 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...
117
click to vote
FMCAD
2006
Springer
15 years 5 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...
91
Voted
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
115
Voted
FLAIRS
2006
15 years 3 months ago
2006
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...