Logo
LogoUniGeSES

ASG list of publications

Citation

Dimitri Konstantas, Marisa Marotta , Chrislain Razafimahefa, "The Design and Implementation of a Comparative Verification Suite for OSF/1", August, 1996

Abstract

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 Verifica tion 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.

Bibtex

@unpublished{Kons96c,
Author = "Dimitri Konstantas, Marisa Marotta , Chrislain Razafimahefa",
Title = "The Design and Implementation of a Comparative Verification Suite for OSF/1",
Key = "olit tr96 osg-ftp",
Notes = "",
Month = "August",
Year = "1996"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.