4340 search results - page 214 / 868 » Formal Methods and Cryptography |
162
Voted
IFM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
136
Voted
FDL
2003
IEEE
15 years 10 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
132
click to vote
IFM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
