作者: Chuchu Fan

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, …

There are significant financial and legal implications for ensuring design correctness and safety in autonomous systems . This book introduces new verification and synthesis algorithms to provide cer …