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: ETS (2023)
Keyphrases
- current status
- european countries
- formal verification
- test generation
- case study
- cloud computing
- model checking
- project management
- long term
- symbolic execution
- data management
- information infrastructure
- real world
- test cases
- united states
- application specific
- software development
- paradigm shift
- database systems
- verification method
- computing infrastructure