Scalable Bit-precise Formal Verification of Embedded Software - Softcover

He, Nannan

Softcover

ISBN 10: 3659936545 ISBN 13: 9783659936548

Verlag: LAP LAMBERT Academic Publishing, 2016

Inhaltsangabe

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.

Über diesen Titel

Über die Autorin bzw. den Autor

Dr. Nannan He is an assistant professor in the Department of ECET at Minnesota State University, US. She received her PhD in Computer Engineering from Virginia Tech,US(2009),and did post-doctoral research in the Computer Science Department at Oxford University, UK. Her research interests include software formal verification and model-based design.

Details zur Ausgabe

• Verlag: LAP LAMBERT Academic Publishing
• Erscheinungsdatum: 2016
• Sprache: Englisch
• ISBN 10: 3659936545
• ISBN 13: 9783659936548
• Einband: Taschenbuch
• Anzahl der Seiten: 212
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Fastbook Publishing; customerservice@vdm-vsg.de; ; Brivibas gatve 197; Riga; 1039; Lettland