Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Texts & Monographs in Symbolic Computation)

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker 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; Autor: Wolfgang Schreiner Wydawnictwo: Springer Rok wydania: 2023 Okładka: twarda Liczba stron: 271 Wymiary: 23.5 x 15.5 cm Ilustracje: 53 Illustrations, color; 26 Illustrations, black and white; XII, 271 p. 79 illus., 53 illus. in color. Język: angielski ISBN: 9783031249334