Book chapter
OA Policy
English

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

Published inTsichritzis, Dionysios (Ed.), Object applications = Applications des objets, p. 65-80
PublisherGenève : Centre Universitaire d'Informatique
Publication date1996-07
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 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.

Citation (ISO format)
KONSTANTAS, Dimitri, MAROTTA, Marisa, RAZAFIMAHEFA, Chrislain. The Design and Implementation of a Comparative Verification Suite for OSF/1. In: Object applications = Applications des objets. Tsichritzis, Dionysios (Ed.). Genève : Centre Universitaire d’Informatique, 1996. p. 65–80.
Main files (1)
Book chapter (Published version)
Identifiers
  • PID : unige:156430
84views
17downloads

Technical informations

Creation16/11/2021 12:12:00
First validation16/11/2021 12:12:00
Update time16/03/2023 01:49:37
Status update16/03/2023 01:49:37
Last indexation31/10/2024 23:48:30
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack