Type-driven verification of communicating systems

Project: Standard

Project Details

AcronymType-Driven Verification of Communic
StatusFinished
Effective start/end date1/05/1630/04/17

Funding

  • EPSRC: £81,541.33

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
  • Automatically proving equivalence by type-safe reflection

    Slama, F. & Brady, E. C., 2017, Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Geuvers, H., England, M., Hasan, O., Rabe, F. & Teschke, O. (eds.). Cham: Springer, p. 40-55 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence); vol. 10383 (LNCS)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    4 Citations (Scopus)
    5 Downloads (Pure)
  • Type driven development of concurrent communicating systems

    Brady, E. C., 7 Jul 2017, In: Computer Science. 18, 3, 22 p., 1413.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    13 Citations (Scopus)
    7 Downloads (Pure)
  • Elaborator reflection: extending Idris in Idris

    Christiansen, D. & Brady, E. C., 4 Sept 2016, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016). New York: ACM, p. 284-297 14 p. (ACM SIGPLAN Notices; vol. 51, no. 9).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    21 Citations (Scopus)
    6 Downloads (Pure)