UTP

A refreshed and minimalist implementation of Isabelle/UTP

Name		Name	Last commit message	Last commit date
Latest commit History 159 Commits
.github/workflows		.github/workflows
examples		examples
.gitignore		.gitignore
README.md		README.md
ROOT		ROOT
utp.thy		utp.thy
utp_assertional.thy		utp_assertional.thy
utp_blocks.thy		utp_blocks.thy
utp_concurrency.thy		utp_concurrency.thy
utp_frame.thy		utp_frame.thy
utp_frames.thy		utp_frames.thy
utp_healthy.thy		utp_healthy.thy
utp_hoare.thy		utp_hoare.thy
utp_modification.thy		utp_modification.thy
utp_pred.thy		utp_pred.thy
utp_pred_laws.thy		utp_pred_laws.thy
utp_recursion.thy		utp_recursion.thy
utp_rel.thy		utp_rel.thy
utp_rel_laws.thy		utp_rel_laws.thy
utp_rel_prog.thy		utp_rel_prog.thy
utp_sp.thy		utp_sp.thy
utp_theory.thy		utp_theory.thy
utp_wlp.thy		utp_wlp.thy
utp_wp.thy		utp_wp.thy
utp_wprespec.thy		utp_wprespec.thy

Provide feedback