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.

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


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

Proceedings Paper

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.

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