Published March 24, 2022 | Version 2
Dataset Open

Data for "Exemplifying parametric timed specifications over signals with bounded behavior"

Authors/Creators

  • 1. LORIA, Université de Lorraine, Inria, CNRS
  • 2. Kyoto University, Kyoto, Japan
  • 3. National Institute of Informatics, Tokyo, Japan

Contributors

Contact person:

  • 1. LORIA, Université de Lorraine, Inria, CNRS

Description

Data for "Exemplifying parametric timed specifications over signals with bounded behavior" by Étienne André, Masaki Waga, Natuski Urabe, and Ichiro Hasuo, published in the proceedings of the 14th NASA Formal Methods Symposium (NFM 2022)

See README.md in the zipped file for explanations and instructions for reproductibility.

Files

Files (5.0 MB)

Name Size Download all
md5:498bb2defbe36eeb99b916ce162c3523
5.0 MB Download