Contacto
Cómo comprar
Entrega
Guía de compras
Scalable Bit-precise Formal Verification of Embedded Software
Inglés
99 b
Hasta 30 días para devoluciones
Clientes que también han comprado
/
Tapa blanda
17.89
€
/
Tapa blanda
14.19
€
/
Tapa blanda
31.69
€
/
Tapa blanda
22.99
€
Many of the automatic formal verification techniques choose to model a non-Boolean program variable as a bit-vector with bounded width (i.e. a vector of multiple bits like 32- or 64- bits) to achieve bit-precise verification. The major challenge of applying such formal technique to real-world embedded software is scalability. This book explores several abstraction techniques to deal with this challenge. It first proposes a tight integration of program slicing, which is an important static program analysis technique, with bounded model checking. Then it presents a new symbolic simulation for scalable formal verification. This simulation involves using distinguishing Xs as symbolic values to abstract concrete variables' values. It also defines two testability metrics - controllability and observability - as the high-level structural guidance to improve efficiency of the proof-based abstraction refinement framework. This book finally proposes a novel algorithm to discover path-oriented non-uniform encoding widths of individual variables, which may be smaller than their original modeling width but large enough for formal verification.
Sobre el libro
Inglés
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa blanda
7.99
€
/
Tapa blanda
15.39
€
/
Tapa blanda
27.89
€
/
Tapa dura
47.49
€
¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?