Skip to content
  • Log in
  • Register
the Datahub

The easy way to get, use and share data

  • Datasets
  • Organisations
  • About
  • Blog
  • Help
  1. Home
  2. Organisations
  3. Laboratoire d'informatique formelle
  • Datasets
  • Activity Stream
  • About

1 dataset found

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...
    • XML
liflab

Laboratoire d'informatique formelle

Research group based in the Department of Computer Science and Mathematics at Université du Québec à Chicoutimi, Canada. At LIF, we develop new techniques to discover or prevent... read more

Followers
1
Datasets
1

Organisations

  • Laboratoire d'infor... (1)

Groups

There are no Groups that match this search

Tags

  • monitoring (1)
  • Pingus (1)
  • runtime verification (1)
  • video games (1)

Formats

  • XML (1)

Licenses

  • Creative Commons At... (1)

close
  • About the Datahub
  • CKAN API
  • CKAN Association

Powered by CKAN