المؤلفون: Janislley, Oliveira de Sousa, Lucas Carvalho Cordeiro, Bruno Carvalho de Farias, Thales Araujo da Silva, Eddie Batista de Lima Filho

المصدر: International Journal on Software Tools for Technology Transfer, (2023-11-07)

مصطلحات موضوعية: Bounded model checking, Software verification, Security vulnerabilities, Open-source software, Large systems

Relation: https://doi.org/10.5281/zenodo.10077387; https://doi.org/10.5281/zenodo.10077388; oai:zenodo.org:10077388

الاتاحة: https://doi.org/10.5281/zenodo.10077388

المؤلفون: Janislley Oliveira de Sousa, Thales Araujo da Silva, Lucas Carvalho Cordeiro, Eddie Batista de Lima Filho

مصطلحات موضوعية: Bounded model checking, Software Verification, Security Vulnerabilities, Open-source software, Large systems

Relation: https://doi.org/10.5281/zenodo.6480485; https://doi.org/10.5281/zenodo.6480486; oai:zenodo.org:6480486

الاتاحة: https://doi.org/10.5281/zenodo.6480486