Formal methods: A practical tool for OS implementors

Proceedings of the Workshop on Hot Topics in Operating Systems - HOTOS

Volumn , Issue , 1997, Pages 20-25

  Tullmann, Patrick ^a   Turner, Jeff ^a   McCorquodale, John ^a   Lepreau, Jay ^a   Chitturi, Ajay ^a   Back, Godmar ^a  

^a UNIVERSITY OF UTAH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; MULTIPROCESSING PROGRAMS;

FLUKE INTERPROCESS COMMUNICATION (IPC) SUBSYSTEMS; FORMAL METHODS;

COMPUTER OPERATING SYSTEMS;

EID: 0030709801     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)