Title: | SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces | Authors: | Arif, M. Fareed Larraz, Daniel Echeverria, Mitziu Reynolds, Andrew Chowdhury, Omar Tinelli, Cesare |
Editors: | Ivrii, Alexander Strichman, Ofer |
Keywords: | computer-aided system design | Book Title: | Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 | Series: | Conference Series: Formal Methods in Computer-Aided Design | URI: | http://hdl.handle.net/20.500.12708/15512 http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_16 |
DOI: | 10.34727/2020/isbn.978-3-85448-042-6_16 | License: | ![]() |
Publication Type: | Inproceedings |
Appears in Collections: | Conference Paper Open Access Series |
Files in this item:
File | Description | Size | Format | |
---|---|---|---|---|
16_SYSLITE Syntax-Guided Synthesis of PLTL Formulas from Finite Traces.pdf | Published version | 338.16 kB | Adobe PDF | ![]() View/Open |
Page view(s)
123
checked on Feb 26, 2021
Download(s)
36
checked on Feb 26, 2021

Google ScholarTM
Check
This item is licensed under a
Creative Commons License