SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces

Published in Formal Methods in Computer-Aided Design 2020, 2020

Recommended citation: M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury and Cesare Tinelli, FMCAD 2020

Preprint Paper

Tool Link

Slides

Recorded Talk

 @inproceedings{arif2020,
  title={SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces},
  author={M. Fareed Arif, Daniel Larraz, Mitziu Echeverria, Andrew Reynolds, Omar Chowdhury, Cesare Tinelli},
  booktitle={Formal Methods in Computer-Aided Design (FMCAD)},
  year={2020},
  organization={Springer}
}