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,...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
2023, 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: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 1. Theories and Algorithms
- 2. Searching and Sorting
- 3. Sets, Relations, and Graphs
- 4. Propositional Logic
- 5. Big Number and Polynomial Arithmetic
- 6. Puzzles and Games
- 7. Concurrent Systems
- 8. Further Topics
- Appendices
- References
- Index