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,...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Körperschaft: | |
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cham :
Springer International Publishing : Imprint: Springer,
2023.
|
| Ausgabe: | 1st ed. 2023. |
| Schriftenreihe: | Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,
|
| Schlagworte: | |
| Online-Zugang: | https://doi.org/10.1007/978-3-031-24934-1 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Inhaltsangabe:
- 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.