Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Weitere Versionen (3)
Gespeichert in:
Hauptverfasser:
Heule, Marijn (HerausgeberIn), Gurfinkel, Arie (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer Nature 2025
Umfang:
1 electronic resource (269 pages)
Anmerkungen:
English
ISBN:
9783031906596
Zugangseinschränkungen:
Open Access
Schlagworte:
TACAS
formal verification
software systems
hardware systems
static analysis
probabilistic programming
program synthesis
oncurrency
testing
simulations
verification of machine
Links: