---
res:
  bibo_abstract:
  - "This repository contains the artifact of the paper titled \"Sound and Complete
    Witnesses for Template-based Verification of LTL Properties on Polynomial Programs\"
    accepted at FM 2024.\r\n\r\nThe task of verifying an LTL formula on a program
    can be reduced to verifying a Büchi specification on the product transition system.
    This tool takes a non-deterministic transition system together with a Büchi specification
    as input and based on user preferences tries to either (i) prove the existence
    of a run in the program that satisfies the Büchi condition or (ii) demonstrate
    that every run of the program satisfies the Büchi condition.\r\n \r\nThe tool
    is written in Java and works well with openjdk 11 on Ubuntu 22.04. Running all
    the experiments can take weeks to finish. We have provided a script for running
    the strongest configuration of our tool which solves most of the benchmarks and
    takes less than 48 hours. Detailed guidance is given in the readme file.@eng"
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Krishnendu
      foaf_name: Chatterjee, Krishnendu
      foaf_surname: Chatterjee
  - foaf_Person:
      foaf_givenName: Amir
      foaf_name: '  Kafshdar Goharshady, Amir'
      foaf_surname: '  Kafshdar Goharshady'
  - foaf_Person:
      foaf_givenName: Ehsan
      foaf_name: Kafshdar Goharshady, Ehsan
      foaf_surname: Kafshdar Goharshady
  - foaf_Person:
      foaf_givenName: Mehrdad
      foaf_name: Karrabi, Mehrdad
      foaf_surname: Karrabi
  - foaf_Person:
      foaf_givenName: Ðorđe
      foaf_name: Žikelić, Ðorđe
      foaf_surname: Žikelić
  bibo_doi: 10.5281/zenodo.12518216
  dct_date: 2024^xs_gYear
  dct_publisher: Repository@
  dct_title: Data for Sound and Complete Witnesses for Template-based Verification
    of LTL Properties on Polynomial Programs@
...