130
click to vote
ZUM
15 years 6 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 ...
105
click to vote
ZUM
15 years 6 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...
99
Voted
ZUM
15 years 6 months ago
2005 Springer ZUM
15 years 6 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...
99
Voted
ZUM
15 years 6 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