UTP-Reactive-Designs

The UTP theory of reactive designs

Name		Name	Last commit message	Last commit date
Latest commit History 33 Commits
README.md		README.md
ROOT		ROOT
utp_rdes_contracts.thy		utp_rdes_contracts.thy
utp_rdes_designs.thy		utp_rdes_designs.thy
utp_rdes_guarded.thy		utp_rdes_guarded.thy
utp_rdes_healths.thy		utp_rdes_healths.thy
utp_rdes_instant.thy		utp_rdes_instant.thy
utp_rdes_normal.thy		utp_rdes_normal.thy
utp_rdes_parallel.thy		utp_rdes_parallel.thy
utp_rdes_productive.thy		utp_rdes_productive.thy
utp_rdes_prog.thy		utp_rdes_prog.thy
utp_rdes_tactics.thy		utp_rdes_tactics.thy
utp_rdes_triples.thy		utp_rdes_triples.thy
utp_rea_designs.thy		utp_rea_designs.thy

Provide feedback