Published January 5, 2023 | Version v2
Software Open

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

  • 1. Brno University of Technology
  • 2. Department of Computer Science, University of Liverpool, UK and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, P. R. China
  • 3. State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, P. R. China and Institute of Intelligent Software, Guangzhou, Guangzhou, P. R. 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