genem-exp

Generic Emptiness Check for Fun and Profit

This repository contains artifacts for our ATVA’19 submission titled Generic Emptiness Check for Fun and Profit.

It contains the following directories:

• examples/ contains examples of small marked graphs for practice or entertainment
• bench-app1/ contains artifacts for the benchmark of application 1 (emptiness check of ω-automata in Spot)
• bench-app2/ contains artifacts for the benchmark of application 2 (probabilistic model-checking in Prism)
• binder/ contains configurations files necessary to run the notebooks of bench-app1/ with https://mybinder.org/

This site is open source. Improve this page.