Model Checking Software
-15%
portes grátis
Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Gallardo, Maria del Mar; Merino, Pedro
Springer International Publishing AG
06/2018
347
Mole
Inglês
9783319941103
15 a 20 dias
557
Descrição não disponível.
Formal verification techniques for automated analysis of software.- Formal analysis for modeling languages, such as UML/state charts.- Formal specification languages, temporal logic, design-by-contract.- Model checking.- Automated theorem proving, including SAT and SMT.- Verifying compilers.- Abstraction and symbolic execution techniques.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Software engineering;Semantics;Model checking;Software evaluation;Specifications;Programming languages;State space;Verification;algorithm analysis and problem complexity
Formal verification techniques for automated analysis of software.- Formal analysis for modeling languages, such as UML/state charts.- Formal specification languages, temporal logic, design-by-contract.- Model checking.- Automated theorem proving, including SAT and SMT.- Verifying compilers.- Abstraction and symbolic execution techniques.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
