Document is current
Any future updates will be listed below
-
Authors
Baier, Daniel https://orcid.org/0000-0001-9116-1974
Beyer, Dirk https://orcid.org/0000-0003-4832-7662
Chien, Po-Chun https://orcid.org/0000-0001-5139-5178
Jakobs, Marie-Christine https://orcid.org/0000-0002-5890-4673
Jankola, Marek https://orcid.org/0009-0008-7961-190X
Kettl, Matthias https://orcid.org/0000-0001-7365-5030
Lee, Nian-Ze https://orcid.org/0000-0002-8096-5595
Lemberger, Thomas https://orcid.org/0000-0003-0291-815X
Lingsch-Rosenfeld, Marian https://orcid.org/0000-0002-8172-3184
Wachowitz, Henrik https://orcid.org/0000-0002-4768-4054
Wendler, Philipp https://orcid.org/0000-0002-5139-341X
- License Information
-
More Information
Chapter History
First Online: 13 September 2024
Funding Statement
: <scp>CPAchecker</scp> was funded in part by the Canadian Natural Sciences and Engineering Research Council (NSERC) —, by the Deutsche Forschungsgemeinschaft (DFG) —(),(),(),(ReVeriX), by the Free State of Bavaria, and by the LMU PostDoc Support Funds.
Conference Information
Conference Acronym: FM
Conference Name: International Symposium on Formal Methods
Conference City: Milan
Conference Country: Italy
Conference Year: 2024
Conference Start Date: 9 September 2024
Conference End Date: 13 September 2024
Conference Number: 26
Conference ID: fm2024
Conference URL: https://www.fm24.polimi.it/
