TOOLympics Challenge 2023

TOOLympics Challenge 2023

Updates, Results, Successes of the Formal-Methods Competition

Hartmanns, Arnd; Kordon, Fabrice; Beyer, Dirk

Springer International Publishing AG

11/2024

172

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