Sciweavers

98
Voted
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
15 years 2 months ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
Yann Zimmermann, Diana Toma