Temporal Property Verification in Plugin-based Software by Program Analysis

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Xavier Noumbissi Noundou
DOI: 10.5281/zenodo.18133151
Cited by: 0

Abstract

Temporal Property Verification in Plugin-based Software by Program Analysis 1. Information Brochure of the Design and Testing System YEROTH_QVGE (YR_QVGE): https://www.zenodo.org/record/8045734/ 2. YR_DB_RUNTIME_VERIF: A FRAMEWORK FOR VERIFYING SQL CORRECTNESS PROPERTIES OF GUI SOFTWARE AT RUNTIME: https://www.zenodo.org/record/8051303/ 3. SAINT: Simple Static Taint Analysis Tool User's manual: https://www.zenodo.org/record/8051299/ 4. Context-Sensitive Staged Static Taint Analysis for C using LLVM: https://www.zenodo.org/record/8051293/

Fields of Study & Subjects

Software Testing and Debugging Techniques Formal Methods in Verification Security and Verification in Computing

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
2 January 2026
Language
EN