DeepSTL - From English Requirements to Signal Temporal Logic

Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu

Abstract

Formal methods provide very powerful tools and techniques for the design and analysis of complex systems. Their practical application remains however limited, due to the widely accepted belief that formal methods require extensive expertise and a steep learning curve. Writing correct formal specifications in form of logical formulas is still considered to be a difficult and error prone task.

BibTeX

@inproceedings{He-al:ICSE22,
  author    = {Jie He and
               Ezio Bartocci and
               Dejan Nickovic and
               Haris Isakovic and
               Radu Grosu},
  title     = {{DeepSTL} - From English Requirements to Signal Temporal Logic},
  booktitle = {ICSE},
  pages     = {610--622},
  publisher = {{ACM}},
  year      = {2022},
}

DeepSTL - From English Requirements to Signal Temporal Logic

Abstract

Related papers