Using threat analysis techniques to guide formal verification: a case study of cooperative awareness messages

  • Marie Farrell
  • , Matthew Bradbury
  • , Michael Fisher
  • , Louise A. Dennis
  • , Clare Dixon
  • , Hu Yuan
  • , Carsten Maple

    Research output: Contribution to conference › Paper › peer-review

    Original languageEnglish
    DOIs
    Publication statusPublished - 18 Sept 2019
    Event17th International Conference on Software Engineering and Formal Methods (SEFM) 2019 - Oslo, Norway
    Duration: 18 Sept 2019 → 20 Sept 2019

    Conference

    Conference17th International Conference on Software Engineering and Formal Methods (SEFM) 2019
    Period18/09/19 → 20/09/19

    Bibliographical note

    Note: Published in: ├ûlveczky, P., Salaün, G. (eds) Software Engineering and Formal Methods. SEFM 2019, pp.471-490. (Lecture Notes in Computer Science vol. 11724). Springer, Cham. ISBN: 9783030304461

    This work is supported FAIR-SPACE Hub through UKRI under the Industry Strategic Challenge Fund (ISCF) for Robotics and AI Hubs in Extreme and Hazardous Environments (grant no: EP/R026092)

    Keywords

    • Computer science and informatics

    Access to Document

    • 1 Conference contribution

    • Using threat analysis techniques to guide formal verification: a case study of cooperative awareness messages

      Farrell, M., Bradbury, M., Fisher, M., Dennis, L. A., Dixon, C., Yuan, H. & Maple, C., 18 Sept 2019, Published in: ├ûlveczky, P., Salaün, G. (eds) Software Engineering and Formal Methods. SEFM 2019, pp.471-490. (Lecture Notes in Computer Science vol. 11724). Springer, Cham. ISBN: 9783030304461 This work is supported FAIR-SPACE Hub through UKRI under the Industry Strategic Challenge Fund (ISCF) for Robotics and AI Hubs in Extreme and Hazardous Environments (grant no: EP/R026092). p. 471-490 (Lecture Notes in Computer Science; vol. 11724, no. 11724).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Cite this