Record link: 
http://hdl.handle.net/20.500.12708/15512
https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_16
-
Title: 
SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces
en
Citation: 
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
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Arif, M. Fareed 
Larraz, Daniel 
Echeverria, Mitziu 
Reynolds, Andrew 
Chowdhury, Omar 
Tinelli, Cesare 
-
Editors: 
Ivrii, Alexander 
Strichman, Ofer 
-
Organisational Unit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Series: 
Conference Series: Formal Methods in Computer-Aided Design 
-
Published in: 
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 
-
Volume: 
1
-
Date (published): 
2020
-
Number of Pages: 
11
-
Publisher: 
TU Wien Academic Press, Wien
-
Keywords: 
computer-aided system design
en
Linked records in reposiTUm: is part of: 
10.34727/2020/isbn.978-3-85448-042-6
-
License: 
CC BY 4.0 CC BY 4.0
en
Appears in Collections:
Conference Paper
Open Access Series

Thumbnail
16_SYSLITE Syntax-Guided Synthesis of PLTL Formulas from Finite Traces.pdf
Adobe PDF
(338.16 kB)
Published version
Open Access
Show full item record

Page view(s)

743
checked on Nov 22, 2023

Download(s)

220
checked on Nov 22, 2023

Google ScholarTM

Check