Contacto
Como comprar
Entrega
Guia de compras
Systems and Software Verification
Inglês
311 b
Política de devolução de 30 dias
Os clientes também compraram
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
Sobre o livro
Inglês
Categorias
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Partituras
22.51
€
/
Capa mole
16.45
€
/
Capa mole
10.79
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?