Static and Runtime Verification, Competitors or Friends? (Track Summary).

Dilian Gurov Klaus Havelund Marieke Huisman Rosemary Monahan

Published in: ISoLA (1) (2016)

Keyphrases

model checking
formal verification
multiscale
data sets
web services
query processing
person identification
asynchronous circuits
verification method