Kangfeng (Randall) Ye
Kangfeng (Randall) Ye
Home
Publications
News
Talks
Posts
Projects
Teaching
Showcases
Contact
Light
Dark
Automatic
Contract-based Verification
Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP
This report is a summary of our work for the VeTSS funded project ?Mechanised Assume-Guarantee Reasoning for Control Law Diagrams via …
<ins>Kangfeng Ye</ins>
,
Simon David Foster
,
JAMES Charles Paul Woodcock
PDF
Cite
×