1 Hit in 2.7 sec

Symbolic and Structural Model-Checking [article]

Yann Thierry-Mieg
2021 arXiv   pre-print
This approach was able to win by a clear margin the model-checking contest 2020 for reachability queries as well as deadlock detection, thus demonstrating the practical effectiveness and general applicability  ...  of the system of rules presented in this paper.  ...  In: Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part  ... 
arXiv:2005.12911v4 fatcat:j4kuvb5lwvasfokknrxn27665a