verified software repository
Recently Published Documents

TOTAL DOCUMENTS

5
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals POSIX file store in Z/Eves: An experiment in the verified software repository

2009 ◽  
Vol 74 (4) ◽  
pp. 238-257 ◽  
Author(s):  
Leo Freitas ◽  
Jim Woodcock ◽  
Zheng Fu
Keyword(s):  
Software Repository ◽  
Verified Software ◽  
Verified Software Repository

scholarly journals Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository

2009 ◽  
Vol 74 (4) ◽  
pp. 197-218 ◽  
Author(s):  
Leo Freitas ◽  
Jim Woodcock ◽  
Yichi Zhang
Keyword(s):  
Software Repository ◽  
Verified Software ◽  
Verified Software Repository

scholarly journals The verified software repository: a step towards the verifying compiler

2006 ◽  
Vol 18 (2) ◽  
pp. 143-151 ◽  
Author(s):  
J.C. Bicarregui ◽  
C.A.R. Hoare ◽  
J.C.P. Woodcock
Keyword(s):  
Software Repository ◽  
Verifying Compiler ◽  
Verified Software ◽  
Verified Software Repository
Load More ...
Sign in / Sign up

Export Citation Format

Share Document