Marvel 3.0 Administrator's Manual

Ben-Shaul, Israel Z.; Barghouti, Naser; Heineman, George; Gisi, Mark; Jones, Tim

This manual is neither a user's manual for MARVEL, nor an implementor's manual;
it has no information on how to use MARVEL or how to modify the source code. We assume the reader has a working knowledge of MARVEL and software development environments in general. If this is the first time you use MARVEL, it is strongly recommended to follow the user's guide tutorial once the basic installation steps were made (see section 2), rather then launching into writing an environment without prior experience with using MARVEL .



More About This Work

Academic Units
Computer Science
Department of Computer Science, Columbia University
Columbia University Computer Science Technical Reports, CUCS-032-91
Published Here
August 7, 2013