@inproceedings{0940f01fa0214a8a976ecdd99431b67a,
title = "PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic",
abstract = "Temporal Logic (TL) bridges the gap between natural language and formal reasoning in the field of complex systems verification. However, in order to leverage the expressivity entailed by TL, the syntax and semantics must first be understood - a large task in itself. This significant knowledge gap leads to several issues: (1) the likelihood of adopting a TL-based verification method is decreased, and (2) the chance of poorly written and inaccurate requirements is increased. In this ongoing work, we present the Pythonic Formal Requirements Language (PyFoReL) tool: a Domain-Specific Language inspired by the programming language Python to simplify the elicitation of TL-based requirements for engineers and non-experts.",
keywords = "domain-specific language, formal requirements, requirements-based testing, temporal logic",
author = "Jacob Anderson and Mohammad Hekmatnejad and Georgios Fainekos",
note = "Funding Information: ACKNOWLEDGEMENTS This work was partially supported by the NSF under grants CNS-2038666 and IIP-1361926, and the NSF I/UCRC Center for Embedded Systems. Publisher Copyright: {\textcopyright} 2022 IEEE.; 30th IEEE International Requirements Engineering Conference, RE 2022 ; Conference date: 15-08-2022 Through 19-08-2022",
year = "2022",
doi = "10.1109/RE54965.2022.00037",
language = "English (US)",
series = "Proceedings of the IEEE International Conference on Requirements Engineering",
publisher = "IEEE Computer Society",
pages = "266--267",
editor = "Eric Knauss and Gunter Mussbacher and Chetan Arora and Muneera Bano and Jean-Guy Schneider",
booktitle = "Proceedings - 30th IEEE International Requirements Engineering Conference, RE 2022",
}