4340 search results - page 130 / 868 » Formal Methods and Cryptography |
155
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
132
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
127
Voted
ICSM
1996
IEEE
15 years 8 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...
138
click to vote
FM
2006
Springer
15 years 7 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...
126
click to vote
FM
2006
Springer
15 years 7 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...