Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT

Vivek Nigam and Carolyn L. Talcott. Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT. In Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, pp. 212–229, Lecture Notes in Computer Science 13252, Springer, 2022.

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

@inproceedings{nigam22wrla,
  author    = {Vivek Nigam and
               Carolyn L. Talcott},
  editor    = {Kyungmin Bae},
  title     = {Automating Safety Proofs About Cyber-Physical Systems Using Rewriting
               Modulo {SMT}},
  booktitle = {Rewriting Logic and Its Applications - 14th International Workshop,
               WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {13252},
  pages     = {212--229},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-12441-9\_11},
  doi       = {10.1007/978-3-031-12441-9\_11},
  timestamp = {Wed, 03 Aug 2022 15:28:31 +0200},
    bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Formal Methods},
  bib2html_dl_pdf = "/docs/wrla22.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57