First steps in the verified software grand challenge

Computer

Volumn 39, Issue 10, 2006, Pages 57-64

  Woodcock, Jim ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (STANDARDS); COMPUTER SOFTWARE MAINTENANCE; COMPUTER SOFTWARE REUSABILITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES;

PROTOTYPE VERIFICATION SYSTEM; VERIFICATION TECHNOLOGY; VERIFIED SOFTWARE REPOSITORY;

SOFTWARE ENGINEERING;

EID: 33750115438     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2006.340     Document Type: Article

References (2)

1. C. Morgan and B. Sufrin, "Specification of the Unix Filing System," IEEE Trans. Software Eng., Feb. 1984, pp. 128-142.
2. W.R. Bevier, R. Cohen, and J. Turner, A Specification for the Synergy File System, tech. report TR-120, Computational Logic Inc., 1995.