Wolfgang Schreiner: Concrete Abstractions
Concrete Abstractions
Buch
- Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
- Springer International Publishing, 04/2024
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Englisch
- ISBN-13: 9783031249365
- Bestellnummer: 11830062
- Umfang: 284 Seiten
- Auflage: 2023
- Gewicht: 435 g
- Maße: 235 x 155 mm
- Stärke: 16 mm
- Erscheinungstermin: 13.4.2024
- Serie: Texts & Monographs in Symbolic Computation
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Concrete Abstractions
Klappentext
This 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.
![Wolfgang Schreiner: Concrete Abstractions, Buch](https://media1.jpc.de/image/w468/front/0/9783031249365.jpg)
Wolfgang Schreiner
Concrete Abstractions
EUR 58,66*