Copertina

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...

Descrizione completa

Salvato in:
Natura: Online
Lingua:inglese
Pubblicazione: Springer Nature 2025
Soggetti:
TACAS
formal verification
software systems
hardware systems
static analysis
probabilistic programming
program synthesis
oncurrency
testing
simulations
verification of machine
Accesso online:ONIX_20250513_9783031906534_15
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

ONIX_20250513_9783031906534_15

Documenti analoghi