JUICE OSVE Developers Documentation

This directory provides the developers documentation for the JUICE Operations Simulations and Verification Engine package (OSVE).

• OSVE C++ Library (For OSVE Developers )
  • Getting started with prerequisites
  • Create the baseline structure (common to all the os)
    • OSVE Dependencies
    • Build OSVE
    • Testing OSVE
    • Release OSVE
    • Calling OSVE with a Session File
• Create the baseline structure
• Code structure (OSVE)
• Linux Installation
• MAC OS Installation
  • Prerequisites installation procedure
• OSVE release procedure

Indices and tables

• Index

• Module Index

• Search Page