10% de desconto

Unfoldings eBook

A Partial-Order Approach To Model Checking

de Keijo Heljanko e Javier Esparza
idioma: inglês
Editor: Springer Berlin Heidelberg, março de 2008 ‧
118,59€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
Introduces unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. This work offers an introduction to the basics of the method, and details an unfolding-based algorithm for model checking concurrent systems against properties specified as formulas of linear temporal logic (LTL).

Unfoldings

A Partial-Order Approach To Model Checking

de Keijo Heljanko e Javier Esparza

Propriedade Descrição
ISBN: 9783540774266
Editor: Springer Berlin Heidelberg
Data de Lançamento: março de 2008
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Classificação Temática: eBooks em Inglês > Informática > Programação
EAN: 9783540774266