1. Home
  2. Organisations
  3. Laboratoire d'informatique formelle

1 dataset found

Organisations: Laboratoire d'informatique formelle Formats: XML

Filter Results

  • Execution of the Pingus Video Game

    Synthetic execution traces of the video game Pingus, used for runtime verification. All details regarding the experiments can be found in the paper Automated Bug Finding in...