FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
FORQ-based Language Inclusion Formal Testing

Authors: Kyveli Doveri, Pierre Ganty and Nicolas Mazzocchi

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:FORQ-based Language Inclusion Formal Testing
Authors:Kyveli Doveri, Pierre Ganty and Nicolas Mazzocchi
Proceedings:CAV 2022 All Papers
Editors: Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan
Keywords:Language inclusion, Büchi automata, Well-quasiorders
Pages:21
Talk:Aug 09 11:00 (Session 102A: Automata and Logic)
Paper: