Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Kovacs, Laura; Finkbeiner, Bernd

Springer International Publishing AG

04/2024

386

Mole

9783031572487

15 a 20 dias

Descrição não disponível.

Model Checking.- automata and learning.- software verification.- probabilistic systems.- simulations.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

TACAS;formal verification;software systems;hardware systems;static analysis;probabilistic programming;program synthesis;concurrency;testing;simulations;verificaiton of machine;open access