• Exploiting replication in automated program verification 

    Wahl, Thomas, 1973- (2007)
    This dissertation shows how systems of many concurrent components, which naively engender intractably large state spaces, can nevertheless be successfully subject to exhaustive formal verification, provided the components ...