Continuous Verification of Open Source Components in a World of Weak Links.

Thomas Hastings Kristen R. Walcott

Published in: ISSRE Workshops (2022)

Keyphrases

open source
open source software
source code
model checking
machine learning
core components
building blocks
verification method
learning algorithm
computer vision
case study
software engineering
temporal logic
formal methods
formal analysis
signature verification