The Design and Implementation of a Comparative Verification Suite for OSF/1

Livre Chapitre de livre The Design and Implementation of a Comparative Verification Suite for OSF/1 eng 1996-07 author Konstantas Dimitri 23437 author Marotta Marisa 86798 author Razafimahefa Chrislain 93888 65-80 When porting an existing Operating System on a new architecture it is of major importance to verify its conformity to the specifications. This can be done with the use of specialized Verification Suites that test and verify the behavior of the OS. In this paper we discuss the issues related to the design of Comparative Verification Suite and present the design and implementation of a Comparative Verification Suite for the OSF/1 operating system. Dewey 025.06/650 Dewey 025.063 Genève Centre Universitaire d'Informatique 13 Centre universitaire d'informatique 0D3 118 Information Science Institute S6 false Object applications = Applications des objets Tsichritzis, Dionysios e9b2c482-c196-42a7-a379-fa5e22c73789 Book chapter (Published version) Public 65-80.pdf 5157834 application/pdf CC BY openAccess Centres et instituts / Centre universitaire d'informatique Faculté d'économie et de management / Information Science Institute

Title	Published in	Access level	OA Policy	Year	Views	Downloads

The Design and Implementation of a Comparative Verification Suite for OSF/1	Object applications = Applications des objets			1996	125	150

Archive ouverte UNIGE

Marotta, Marisa