On the Industrial Application of Critical Software Verification with VerCors.

Marieke Huisman Raúl E. Monti

Published in: ISoLA (3) (2020)

Keyphrases

industrial applications
industrial systems
systems engineering
data sets
domain knowledge
case based reasoning