• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

On the Industrial Application of Critical Software Verification with VerCors.

Marieke HuismanRaúl E. Monti
Published in: ISoLA (3) (2020)
Keyphrases
  • industrial applications
  • industrial systems
  • systems engineering
  • data sets
  • domain knowledge
  • case based reasoning