Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/15512
https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_16
-
Titel: 
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces
en
Zitat: 
Arif, M. F., Larraz, D., Echeverria, M., Reynolds, A., Chowdhury, O., & Tinelli, C. (2020). SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. In A. Ivrii & O. Strichman (Eds.), Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 (pp. 93–103). TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_16
-
reposiTUm-DOI: 
10.34727/2020/isbn.978-3-85448-042-6_16
-
CatalogPlus: 
AC17204898
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Arif, M. Fareed 
Larraz, Daniel 
Echeverria, Mitziu 
Reynolds, Andrew 
Chowdhury, Omar 
Tinelli, Cesare 
-
Herausgeber_innen: 
Ivrii, Alexander 
Strichman, Ofer 
-
Organisations­einheit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Reihe: 
Conference Series: Formal Methods in Computer-Aided Design 
-
Erschienen in: 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 
-
Band: 
1
-
Datum (veröffentlicht): 
2020
-
Umfang: 
11
-
Verlag: 
TU Wien Academic Press, Wien
-
Keywords: 
computer-aided system design
en
Zugehörige Publikationen und Daten in reposiTUm: ist Teil von: 
10.34727/2020/isbn.978-3-85448-042-6
-
Lizenz: 
CC BY 4.0 CC BY 4.0
en
Enthalten in den Sammlungen:
Conference Paper
Open Access Series

Miniaturbild
16_SYSLITE Syntax-Guided Synthesis of PLTL Formulas from Finite Traces.pdf
Adobe PDF
(338.16 kB)
Published version
Open Access
Zur Langanzeige

Seiten Aufrufe

699
aufgerufen am 22.11.2023

Download(s)

207
aufgerufen am 22.11.2023

Google ScholarTM

Check