Imatge de la portada

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II /

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025. The 20 full papers together with 2 accepted tool papers and 18 full...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	SpringerLink (Online service)
Altres autors:	Shankaranarayanan, Krishna (Editor), Sankaranarayanan, Sriram (Editor), Trivedi, Ashutosh (Editor)
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edició:	1st ed. 2025.
Col·lecció:	Lecture Notes in Computer Science, 15530
Matèries:	Computer science. Computer science > Mathematics. Logic programming. Computers, Special purpose. Software engineering. Theory of Computation. Mathematics of Computing. Logic in AI. Special Purpose and Application-Based Systems. Software Engineering.
Accés en línia:	https://doi.org/10.1007/978-3-031-82703-7
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I /
Publicat: (2025)

Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Publicat: (2023)

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II /
Publicat: (2024)

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I /
Publicat: (2024)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
Publicat: (2024)

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /
Publicat: (2023)

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
Publicat: (2025)

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings /
Publicat: (2024)

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings /
Publicat: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III /
Publicat: (2025)

End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16–18, 2025, Proceedings /
Publicat: (2025)

Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3–4, 2022, Proceedings /
Publicat: (2023)

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings /
Publicat: (2024)

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part V /
Publicat: (2025)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV /
Publicat: (2025)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Publicat: (2023)

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II /
Publicat: (2025)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Publicat: (2024)

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I /
Publicat: (2025)

Machine Learning, Deep Learning, and Blockchain Fourth International Research Conference, IRCICD 2023, Chennai, India, April 28–29, 2023, Proceedings /
Publicat: (2025)

Advances in Computing 16th Colombian Congress, CCC 2022, Armenia, Colombia, October 17–21, 2022, Revised Selected Papers /
Publicat: (2023)

Mobile Networks and Management 12th EAI International Conference, MONAMI 2022, Virtual Event, October 29-31, 2022, Proceedings /
Publicat: (2023)

Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9–11, 2019, Revised Selected Papers /
Publicat: (2023)

Mobile Networks and Management 13th EAI International Conference, MONAMI 2023, Yingtan, China, October 27-29, 2023, Proceedings /
Publicat: (2024)

Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2–3, 2023, Proceedings, Part I /
Publicat: (2024)

Internet of Things. Advances in Information and Communication Technology 6th IFIP International Cross-Domain Conference, IFIPIoT 2023, Denton, TX, USA, November 2–3, 2023, Proceedings, Part II /
Publicat: (2024)

Dependable Computing – EDCC 2024 Workshops SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings /
Publicat: (2024)

Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings /
Publicat: (2025)

Advances in ICT Research in the Balkans 10th Balkan Conference in Informatics, BCI 2024, Craiova, Romania, September 4-6, 2024, Proceedings /
Publicat: (2025)

Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings /
Publicat: (2024)

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings /
Publicat: (2023)

Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17–19, 2025, Proceedings /
Publicat: (2025)

Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6–8, 2024, Proceedings /
Publicat: (2025)

Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6–8, 2024, Proceedings /
Publicat: (2025)

Advances in Computing 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10–11, 2023, Revised Selected Papers /
Publicat: (2024)

Large-Scale Agile Frameworks Agile Frameworks, Agile Infrastructure and Pragmatic Solutions for Digital Transformation /
per: Block, Sascha
Publicat: (2023)

Computing Technologies for Sustainable Development First International Research Conference, IRCCTSD 2024, Chennai, India, May 9–10, 2024, Proceedings, Part II /
Publicat: (2025)

Computing Technologies for Sustainable Development First International Research Conference, IRCCTSD 2024, Chennai, India, May 9–10, 2024, Proceedings, Part III /
Publicat: (2025)

Computing Technologies for Sustainable Development First International Research Conference, IRCCTSD 2024, Chennai, India, May 9–10, 2024, Proceedings, Part I /
Publicat: (2025)

Transactions on Pattern Languages of Programming V
Publicat: (2025)