{"product_id":"verified-software-theories-tools-and-experiments-9783031866944","title":"Verified Software. Theories Tools and Experiments","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e.- \u003cspan lang=\"EN-US\" style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;\"\u003eMoXIchecker: An Extensible Model Checker for MoXI.\u003c\/span\u003e\u003c\/p\u003e\u003cp\u003e\u003cspan lang=\"EN-US\" style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;\"\u003e.- Towards Verifying Security Policies for Infinite-State Systems.\u003c\/span\u003e\u003c\/p\u003e\u003cp\u003e\u003cspan lang=\"EN-US\" style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;\"\u003e.- Deductive Verification of Sparse Sets in Why3.\u003c\/span\u003e\u003c\/p\u003e\u003cp\u003e\u003cspan lang=\"EN-US\" style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;\"\u003e.- PolySAT: Word-level Bit-vector Reasoning in Z3.\u003c\/span\u003e\u003c\/p\u003e\u003cp\u003e\u003cspan lang=\"EN-US\" style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;\"\u003e.- Proof-Producing Symbolic Execution for P4.\u003c\/span\u003e\u003c\/p\u003e\u003cp\u003e\u003cspan lang=\"EN-US\" style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;\"\u003e.- Statically Inferring Usage Bounds for Infrastructure as Code.\u003c\/span\u003e\u003c\/p\u003e\u003cp\u003e\u003cspan lang=\"EN-US\" style=\"font-size: 10.0pt; font-family: 'Times New Roman',serif; mso-fareast-font-family: 'Times New Roman'; mso-ansi-language: EN-US; mso-fareast-language: EN-US; mso-bidi-language: AR-SA;\"\u003e.- hax: Verifying Security-Critical Rust Software using Multiple Provers.\u003c\/span\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195459199319,"sku":"9783031866944","price":44.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/verified-software-theories-tools-and-experiments-9783031866944","provider":"Book Curl","version":"1.0","type":"link"}