TOOLympics Challenge 2023
portes grátis
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competition
Hartmanns, Arnd; Kordon, Fabrice; Beyer, Dirk
Springer International Publishing AG
10/2024
175
Mole
9783031676949
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Índice não disponível.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal methods;model checking;program analysis;probabilistic analysis;runtime verification;SAT solving;SMT solving
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
