RoboChart in Isabelle

This repository contains a prototype implementation of a textual notation for RoboChart models.

Name		Name	Last commit message	Last commit date
Latest commit History 54 Commits
Semantics/Circus_Semantics		Semantics/Circus_Semantics
RC_Semantic_Processors.thy		RC_Semantic_Processors.thy
README.md		README.md
ROOT		ROOT
RoboChart.thy		RoboChart.thy
RoboChart_AST.thy		RoboChart_AST.thy
RoboChart_Examples.thy		RoboChart_Examples.thy
RoboChart_Parser.thy		RoboChart_Parser.thy
RoboChart_Semantic_Processors.thy		RoboChart_Semantic_Processors.thy
RoboChart_Semantics.thy		RoboChart_Semantics.thy
RoboChart_StateMachine.thy		RoboChart_StateMachine.thy
RoboChart_Validation.thy		RoboChart_Validation.thy

Provide feedback