Book
Synthesizing History and Prophecy Variables for Symbolic Model Checking
| العنوان: | Synthesizing History and Prophecy Variables for Symbolic Model Checking |
|---|---|
| المؤلفون: | Vick, Cole, McMillan, Kenneth L. |
| المصدر: | Lecture Notes in Computer Science ; Verification, Model Checking, and Abstract Interpretation ; page 320-340 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031249495 9783031249501 |
| بيانات النشر: | Springer Nature Switzerland |
| سنة النشر: | 2023 |
| نوع الوثيقة: | book part |
| اللغة: | English |
| ردمك: | 978-3-031-24949-5 978-3-031-24950-1 3-031-24949-6 3-031-24950-X |
| DOI: | 10.1007/978-3-031-24950-1_15 |
| الاتاحة: | http://dx.doi.org/10.1007/978-3-031-24950-1_15 https://link.springer.com/content/pdf/10.1007/978-3-031-24950-1_15 |
| Rights: | https://www.springernature.com/gp/researchers/text-and-data-mining ; https://www.springernature.com/gp/researchers/text-and-data-mining ; https://www.springernature.com/gp/researchers/text-and-data-mining ; https://www.springernature.com/gp/researchers/text-and-data-mining |
| رقم الانضمام: | edsbas.B62AA31E |
| قاعدة البيانات: | BASE |
| ردمك: | 9783031249495 9783031249501 3031249496 303124950X |
|---|---|
| DOI: | 10.1007/978-3-031-24950-1_15 |