Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings

Thao Dang, Volker Stolz

Informasi Dasar

45 kali
23.21.1805
005.14
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5 : Rak 2
Tel-U Purwokerto : Rak 2

This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification.

Subjek

COMPUTER SOFTWARE
Verification - computer systems,

Katalog

Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings
978-3-031-17196-3
347p,: pdf file,; 15,4 MB
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Thao Dang, Volker Stolz
Perorangan
 
 

Penerbit

Springer Cham
New York
2022

Koleksi

Kompetensi

 

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini