Browse by Person

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Number of items: 4.

Foster, Simon, Ye, Kangfeng, Cavalcanti, Ana et al. (1 more author) (2020) Automated Verification of Reactive and Concurrent Programs by Calculation. ArXiv e-prints.

Foster, Simon David, Ye, Kangfeng, Cavalcanti, Ana Lucia Caneca et al. (1 more author) (2018) Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. In: Guttmann, Walter, Desharnais, Jules and Joosten, Stef, (eds.) Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Lecture Notes in Computer Science , pp. 205-224.

Ye, Kangfeng, Foster, Simon David and Woodcock, JAMES Charles Paul (2018) Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP. Working Paper. (Unpublished)

Ye, Kangfeng and Woodcock, Jim (2017) Model checking of state-rich formalism Circus by linking to CSP∥B. International Journal on Software Tools for Technology Transfer. pp. 73-96. ISSN 1433-2779

This list was generated on Sun Jan 10 14:32:29 2021 GMT.