Document is current
Any future updates will be listed below
-
Authors
Baier, Daniel http://orcid.org/0000-0001-9116-1974
Beyer, Dirk http://orcid.org/0000-0003-4832-7662
Chien, Po-Chun http://orcid.org/0000-0001-5139-5178
Jakobs, Marie-Christine http://orcid.org/0000-0002-5890-4673
Jankola, Marek http://orcid.org/0009-0008-7961-190X
Kettl, Matthias http://orcid.org/0000-0001-7365-5030
Lee, Nian-Ze http://orcid.org/0000-0002-8096-5595
Lemberger, Thomas http://orcid.org/0000-0003-0291-815X
Lingsch-Rosenfeld, Marian http://orcid.org/0000-0002-8172-3184
Wachowitz, Henrik http://orcid.org/0000-0002-4768-4054
Wendler, Philipp http://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/
