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,...

Full description

Bibliographic Details

Main Author:	Schreiner, Wolfgang (Author)
Corporate Author:	SpringerLink (Online service)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,
Subjects:	Computer science > Mathematics. Mathematics > Data processing. Mathematical logic. Mathematics of Computing. Computational Mathematics and Numerical Analysis. Mathematical Logic and Foundations.
Online Access:	https://doi.org/10.1007/978-3-031-24934-1
Tags:	Add Tag No Tags, Be the first to tag this record!