Integrating Formal Verification and Assurance: An Inspection Rover Case Study. Bourbouh, H., Farrell, M., Mavridou, A., Sljivo, I., Brat, G., Dennis, L. A., & Fisher, M. In Proc. 13th International Symposium on NASA Formal Methods (NFM), volume 12673, of Lecture Notes in Computer Science, pages 53–71, 2021. Springer. [FAIR-Space]
doi  bibtex   
@inproceedings{BourbouhFMSBD021,
  author    = {Hamza Bourbouh and
               Marie Farrell and
               Anastasia Mavridou and
               Irfan Sljivo and
               Guillaume Brat and
               Louise A. Dennis and
               Michael Fisher},
  title     = "{Integrating Formal Verification and Assurance: An Inspection Rover
               Case Study}",
  booktitle = {Proc. 13th International Symposium on {NASA} Formal Methods (NFM)},
  series    = {Lecture Notes in Computer Science},
  volume    = {12673},
  pages     = {53--71},
  publisher = {Springer},
  year      = {2021},
  doi       = {10.1007/978-3-030-76384-8\_4},
  note={[<span class="fs">FAIR-Space</span>]}
}
Downloads: 0