Validation, Verification, and Testing (VVT) of future RISC-V powered cloud infrastructures: the Vitamin-V Horizon Europe Project perspective.
Marti AlonsoDavid AndreuRamon CanalStefano Di CarloCristiano Pegoraro ChenetJuanjo CostaAndreu GironesDimitris GizopoulosVasileios KarakostasBeatriz OteroGeorge PapadimitriouEva RodríguezAlessandro SavinoPublished in: CoRR (2023)
Keyphrases
- current status
- formal verification
- test generation
- european countries
- symbolic execution
- cloud computing
- united states
- case study
- paradigm shift
- face verification
- application specific
- viewpoint
- computing infrastructure
- model based testing
- project management
- north america
- model checking
- binary images
- test cases
- data management
- software development
- long term
- query processing
- information infrastructure
- information systems
- connected component labeling