株式会社極東書店トップ ＞ 商品一覧 ＞ Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker. 2023 ed.
商品詳細
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker. 2023 ed.
・ISBN 978-3-031-24936-5 paper EUR 58.84
￥15,727.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Schreiner, Wolfgang, |
|---|---|
| シリーズ | (Texts & Monographs in Symbolic Computation) |
| 出版社 | (Springer International Publishing AG, SZ) |
| 出版年月 | 2024 |
| ページ数 | 271 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A03-25502＞ |
解説
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.