• Product
  • About
    • Documentation
    • Downloads
    • Help
    • Status
  • Login Login avatar
Cocotec Cocotec All systems go
  • Coco Tooling
  • Introduction
  • Getting Started
  • Coco Language Reference
  • Coco Tutorial
  • Coco C++
  • Coco Tooling
    • Eclipse
    • Command-Line Tools
    • API
    • Schemas
  • Status
  • Versioning
  • Release Notes
  • Index
Coco Platform Documentation

Coco Tooling¶

  • Eclipse
    • Coco Perspective
    • Coco Preferences
    • Coco Packages
    • Coco Editor
    • Verifying Coco
      • Assertions View
      • Running the Verification
      • Counterexamples View
      • Launching the Simulator with Counterexamples
      • Remote Verification
    • Coco Simulator
    • Watching Variables
    • Visualising Architectures
    • Visualising State Machines
      • State Machine Diagram
      • Structure Viewer
    • Generating Code
    • Creating a Support Bundle
    • Getting Updates
    • Uninstalling the Coco Platform
  • Command-Line Tools
    • coco
    • Global Options
    • Subcommands
      • format
      • Common generation options
      • generate-cpp
      • graph-component
      • graph-states
      • metadata
      • support-bundle
      • transform
      • typecheck
      • verify
    • Using coco in CI pipelines
      • Licensing
  • API
    • .NET API
      • Installing
      • Getting Started
    • Java API
      • Installing
      • Getting Started
      • EMF
    • Implementation
    • Licensing
    • General Advice
  • Schemas
    • Metadata
      • Coco Abstract Syntax Tree
      • Coco Imports
      • Diagnostics
      • Process Statistics
    • Code Indexes
      • Code Index Coco Positions
      • C-Like Code Index
      • Code Index Common Parts
Next Previous
  • Github Github icon
  • LinkedIn LinkedIn icon
© 2020 Cocotec | Privacy