IsaCircus

An implementation of the UTP semantics of Circus in Isabelle/UTP

Name		Name	Last commit message	Last commit date
Latest commit History 60 Commits
Circus_Actions.thy		Circus_Actions.thy
Circus_Hiding.thy		Circus_Hiding.thy
Circus_Parallel.thy		Circus_Parallel.thy
Circus_Renaming.thy		Circus_Renaming.thy
IsaCircus.thy		IsaCircus.thy
README.md		README.md
ROOT		ROOT
TestGen.thy		TestGen.thy
Ziggy_Laws.thy		Ziggy_Laws.thy

Provide feedback