164
click to vote
ZUM
15 years 10 months ago
2005 Springer 
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 ...
132
click to vote
ZUM
15 years 10 months ago
2005 Springer 
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
126
click to vote
ZUM
15 years 10 months ago
2005 Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
133
click to vote
ZUM
15 years 10 months ago
2005 Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
|
Formal Methods