System verification using randomized exploration of large state spaces

Abstract

System verification is a technique used to improve the correctness of hardware and software systems. It aims to discover bugs in early development steps. A common approach of system verification consists of exploring and analyzing the reachable states graph, which represents the system behavior in an exhaustive manner. This graph is often too large to be… (More)

9 Figures and Tables

Topics

  • Presentations referencing similar topics