Contacto
Como comprar
Entrega
Guia de compras
Systems and Software Verification
Model-Checking Techniques and Tools
Inglês
346 b
Política de devolução de 30 dias
Também pode estar interessado em
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.This book provides a basic introduction to this 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 themajor 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árioOlá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?