Integrating Formal Verification and Assurance: An Inspection Rover Case Study

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

{"_id":"rvDC2bwF4Jqnwc4Bd","bibbaseid":"bourbouh-farrell-mavridou-sljivo-brat-dennis-fisher-integratingformalverificationandassuranceaninspectionrovercasestudy-2021","author_short":["Bourbouh, H.","Farrell, M.","Mavridou, A.","Sljivo, I.","Brat, G.","Dennis, L. A.","Fisher, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Hamza"],"propositions":[],"lastnames":["Bourbouh"],"suffixes":[]},{"firstnames":["Marie"],"propositions":[],"lastnames":["Farrell"],"suffixes":[]},{"firstnames":["Anastasia"],"propositions":[],"lastnames":["Mavridou"],"suffixes":[]},{"firstnames":["Irfan"],"propositions":[],"lastnames":["Sljivo"],"suffixes":[]},{"firstnames":["Guillaume"],"propositions":[],"lastnames":["Brat"],"suffixes":[]},{"firstnames":["Louise","A."],"propositions":[],"lastnames":["Dennis"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]}],"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>]","bibtex":"@inproceedings{BourbouhFMSBD021,\n author = {Hamza Bourbouh and\n Marie Farrell and\n Anastasia Mavridou and\n Irfan Sljivo and\n Guillaume Brat and\n Louise A. Dennis and\n Michael Fisher},\n title = \"{Integrating Formal Verification and Assurance: An Inspection Rover\n Case Study}\",\n booktitle = {Proc. 13th International Symposium on {NASA} Formal Methods (NFM)},\n series = {Lecture Notes in Computer Science},\n volume = {12673},\n pages = {53--71},\n publisher = {Springer},\n year = {2021},\n doi = {10.1007/978-3-030-76384-8\\_4},\n note={[<span class=\"fs\">FAIR-Space</span>]}\n}\n\n","author_short":["Bourbouh, H.","Farrell, M.","Mavridou, A.","Sljivo, I.","Brat, G.","Dennis, L. A.","Fisher, M."],"key":"BourbouhFMSBD021","id":"BourbouhFMSBD021","bibbaseid":"bourbouh-farrell-mavridou-sljivo-brat-dennis-fisher-integratingformalverificationandassuranceaninspectionrovercasestudy-2021","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","dataSources":["iqRbmbCgpDeaBjend","77JvGFZQteoFsRiyX","djqmTdTtLoYefofC8","BJmNrTjuXLNiSJTrn"],"keywords":[],"search_terms":["integrating","formal","verification","assurance","inspection","rover","case","study","bourbouh","farrell","mavridou","sljivo","brat","dennis","fisher"],"title":"Integrating Formal Verification and Assurance: An Inspection Rover Case Study","year":2021}