Tools and Algorithms for the Construction and Analysis of Systems

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ET...

Descrición completa

Detalles Bibliográficos

Formato:	Online
Idioma:	inglés
Publicado:	Springer Nature 2025
Subjects:	TACAS formal verification software systems hardware systems static analysis probabilistic programming program synthesis oncurrency testing simulations verification of machine
Acceso en liña:	ONIX_20250513_9783031906534_15
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!