{"product_id":"concrete-abstractions-formalizing-and-analyzing-discrete-theories-and-algorithms-with-the-riscal-model-checker-9783031249334","title":"Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the Riscal Model Checker","description":"\u003cp\u003e • Author(s): Wolfgang Schreiner\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Data Science - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003eThis book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a \"mathematical model checker\" by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":45278521032855,"sku":"9783031249334","price":5509.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031249334.webp?v=1769291185","url":"https:\/\/atlanticbooks.com\/products\/concrete-abstractions-formalizing-and-analyzing-discrete-theories-and-algorithms-with-the-riscal-model-checker-9783031249334","provider":"Atlantic Books","version":"1.0","type":"link"}