Concise Guide to Software Verification From Model Checking to Annotation Checking /
Ever since the beginnings of the development of software, researchers have been thinking about how to guarantee its correctness. Formal methods are techniques that can be used to improve software reliability and robustness. This concise volume overviews the whole spectrum of formal methods and techn...
Saved in:
| Main Authors: | , |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2023.
|
| Edition: | 1st ed. 2023. |
| Series: | Texts in Computer Science,
|
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-031-30167-4 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance: