Home

Welcome to the ROSCoq wiki! It assumes that you have have read the accompanying paper. Questions are very welcome. Please create an issue.

• Installation
  • Dependencies
  • Installing
  • Testing
• Tutorial
  • Specifying the physical model
  • Specifying Agents (Nodes)
    • Specifying the collection of agents
    • Specifying hardware agents
    • Specifying software agents
  • Proving Properties
  • Running the Software Agents
    • Providing ROS-specific implementation details
    • Extracting software agents to Haskell and running them.
• Extending ROSCoq
  • Exporting effectful Haskell functions to Coq