Azala

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

Deskribapen osoa

Gorde:
Formatua: Online
Hizkuntza:ingelesa
Argitaratua: Springer Nature 2025
Gaiak:
TACAS
formal verification
software systems
hardware systems
static analysis
probabilistic programming
program synthesis
oncurrency
testing
simulations
verification of machine
Sarrera elektronikoa:ONIX_20250513_9783031906435_14
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Internet

ONIX_20250513_9783031906435_14

Antzeko izenburuak