Related Books
Language: en
Pages: 680
Pages: 680
Type: BOOK - Published: 2019-07-12 - Publisher: Springer
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, C
Language: en
Pages: 922
Pages: 922
Type: BOOK - Published: 2021-07-17 - Publisher: Springer Nature
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, C
Language: en
Pages: 904
Pages: 904
Type: BOOK - Published: 2014-06-28 - Publisher: Springer
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic,
Language: en
Pages: 597
Pages: 597
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 296
Pages: 296
Type: BOOK - Published: 1995 - Publisher: Princeton University Press
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are req