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
DOI: 10.34727/2020/isbn.978-3-85448-042-6_16
License: CC BY 4.0 CC BY 4.0
Publication Type: Inproceedings
Appears in Collections:Conference Paper
Open Access Series

Files in this item:

File Description SizeFormat
16_SYSLITE Syntax-Guided Synthesis of PLTL Formulas from Finite Traces.pdfPublished version338.16 kBAdobe PDFThumbnail
Show full item record

Page view(s)

checked on Feb 26, 2021


checked on Feb 26, 2021

Google ScholarTM


This item is licensed under a Creative Commons License Creative Commons