Tests and Proofs
portes grátis
Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
Prevosto, Virgile; Seceleanu, Cristina
Springer International Publishing AG
07/2023
187
Mole
Inglês
9783031388279
15 a 20 dias
Descrição não disponível.
Low-level Code Verification.- Formal Models.- Model-based test generation.- Abstraction and Refinement.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal methods;software testing;software engineering;formal logic;model checking;specifications;theorem proving;symbolic execution;runtime verification
Low-level Code Verification.- Formal Models.- Model-based test generation.- Abstraction and Refinement.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
