Formal System Verification

1. Formal Techniques for Verification and Coverage Analysis of Analog Systems
Andreas Fürtig, Lars Hedrich

2. Verification of Incomplete Designs
Bernd Becker, Christoph Scholl, Ralf Wimmer

3. Probabilistic Model Checking: Advances and Applications
Marta Kwiatkowska, Gethin Norman, David Parker

4. Software in a Hardware View
Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz

5. Formal Verification—The Industrial Perspective
Raik Brinkmann, Dave Kelf

Nyckelord: Engineering, Circuits and Systems, Processor Architectures, Electronics and Microelectronics, Instrumentation