[
<
]
[
>
]
[
<<
]
[
Up
]
[
>>
]
[
Top
]
[
Contents
]
[Index]
[
?
]
B.19 Changes from 2.81 to 2.82
Fix a potential memory corruption error in FDR2. No refinement errors have been observed due to this error, but upgrading is suggested for all FDR2 users.
Formal Systems (Europe) Ltd
FDR2 Manual