• 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
  • Release Notes
  • Index
Coco Platform Documentation

Note

You are not reading the most recent version of this documentation. 1.4.7 is the latest version available.

Coco Tooling¶

  • Eclipse
    • Coco Perspective
    • Coco Preferences
    • Coco Packages
    • Coco Editor
    • Verifying Coco
      • Assertions View
      • Running the Verification
      • Counterexamples View
      • Remote Verification
    • Coco Simulator
    • Visualising State Machines
    • 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
      • support-bundle
      • transform
      • typecheck
      • verify
  • API
    • .NET API
      • Installing
      • Getting Started
    • Java API
      • Installing
      • Getting Started
      • EMF
    • Implementation
    • Licensing
    • General Advice
  • Schemas
    • 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