Published January 5, 2023 | Version v2
Software Open

Artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"

Creators

  • 1. Brno University of Technology
  • 2. ROR icon University of Liverpool
  • 3. ROR icon Chinese Academy of Sciences
  • 4. Institute of Intelligent Software (China)

Description

This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata".

For instructions, see the README.md file within the archive.

Files

README.md

Files (2.3 GB)

Name Size Download all
md5:98e5bee28f5b70d983ae956cea433c35
22.9 kB Preview Download
md5:2bd515bf3a5ef83685a9699e80d8f32f
84.4 kB Preview Download
md5:fb7492cf3da3a8c2b6708e43b843ee3e
2.3 GB Preview Download

This site uses cookies. Find out more on how we use cookies